<<>> <> <> <> <<>> DIRECTORY RuntimeError; UnboundImpl: CEDAR PROGRAM IMPORTS RuntimeError EXPORTS ~ BEGIN RegisterUnboundSignaller: PROC[proc: PROC ANY RETURNS ANY] = TRUSTED MACHINE CODE { "XR_RegisterUnboundSignaller" }; UnboundSignaller: PROC[dest: PROC ANY RETURNS ANY] RETURNS[PROC ANY RETURNS ANY] = { RETURN[SIGNAL RuntimeError.UnboundProcedureFault[dest]] }; RegisterUnboundSignaller[UnboundSignaller]; END.