<<>> <> <> DIRECTORY InlineTestIllegalDefs; InlineTestIllegal: PROGRAM IMPORTS InlineTestIllegalDefs = BEGIN callerType: TYPE = InlineTestIllegalDefs.callerType; TestIllegalProcVariables: PROC = { b: callerType = InlineProc; <> c: callerType _ LOOPHOLE[InlineTestIllegalDefs.PreProcessorProc]; <> d: callerType _ InlineTestIllegalDefs.PreProcessorProc; <> }; InlineProc: callerType = INLINE { i _ i + 1; RETURN [i]; }; SystemProc: callerType = MACHINE CODE { "MumbleProc"; }; MumbleProc: callerType = { j : INTEGER; j _ 5; RETURN [j]; }; END...