DEFINITION MODULE WORLD; PROCEDURE DisplayWorld; END WORLD.