% Leading comment.
%% goal: answer(X0)
 % trailing comment

answer(ok). % another trailing comment