/home/staff/stolfi/projects/port-syntax/testes/2003-03-21/002/program.pl compiled, 0.04 sec, 75,536 bytes.