swipl -f ../f2xml.pl -g 'eg(2),nl,halt'