MODULE Sandbox; IMPORT log; PROCEDURE Go*; BEGIN log.sn("") END Go; END Sandbox.