This interface defines platform (machine + OS) dependent types and constants.
INTERFACE----------------------------------------------- exception stack walking --- TheRTMachine ;
FrameInfo type must minimally include fields named pc and sp.
CONST Has_stack_walker = FALSE;
(* Indicates whether this platform supports the stack walking functions
defined in the "RTStack" interface. *)
TYPE FrameInfo = RECORD pc, sp: ADDRESS END;
END RTMachine.