goodbye:proc options(main);
     put list('Hello world!');
end goodbye;