%% Environment for setting programs. Newlines are explicit, because
%% otherwise I need comments in weird places to make the vertical spacing
%% come out properly. You can write `\obeylines' if you really want to.
%% Environment for setting programs. Newlines are explicit, because
%% otherwise I need comments in weird places to make the vertical spacing
%% come out properly. You can write `\obeylines' if you really want to.