[Oberon] Inline procedures