%% goal: stop

stop :-
    write(before_halt),
    nl,
    halt(0).