Cuidado com o diff_examples na make. ja nao aperecem bugs a correr o input .fac