MODULE procids EXPORTS Main; IMPORT Processor, SmallIO; TYPE T = NETWORK OBJECT METHODS print() := Print END; PROCEDURE Print( <* UNUSED *> t: T ) = BEGIN SmallIO.PutInt( Processor.ID()); SmallIO.PutChar( '\n' ) END Print; BEGIN FOR i := Processor.Min() TO Processor.Max() DO NEW( T, i ).print() END END procids.