s: proc options (main);
end;