<<>> <> <> <> <<>> DIRECTORY Commander, PhSmarts; PhGlobalsImpl: CEDAR MONITOR IMPORTS Commander EXPORTS PhSmarts ~ { pd: PUBLIC REF PhSmarts.PD ¬ NEW[PhSmarts.PD¬[]]; lock: PUBLIC MONITORLOCK; phoenixInfo: PUBLIC PhSmarts.PhoenixInfo ¬ NIL; Examine: Commander.CommandProc ~ { a: INT; a¬3; a¬a+5; }; Commander.Register["PhExamine", Examine]; }.