MODULE Hello; IMPORT log; PROCEDURE Come*; BEGIN log.sn("Hello!") END Come; PROCEDURE Gone*; BEGIN log.sn("Bye!") END Gone; END Hello.