<<>> <> <> <> <> <> <> DIRECTORY MobDefs USING [MobBase], IO USING [STREAM]; ListRTMob: DEFINITIONS = BEGIN PrintRTMob: PROC [out: IO.STREAM, mob: MobDefs.MobBase]; END.