begin 
    labelscannotpreceedcomments: comment should fail;
        go to labelscannotpreceedcomments
end