la ricerca recente sugli agenti a lungo termine è interessante ma questo particolare esempio sembra una scorciatoia; si avvale della compilazione di file contro GCC, il che rende il problema completamente verificabile la vera prova sarà costruire qualcosa che non esiste già