// Typical welcome message PROCEDURE Main() ? "Hello world!" RETURN