MODULE; IMPORT OSError, OSErrorPosix, Process, Usignal; PROCEDURE M3Process Interrupt (t: Process.T) RAISES {OSError.E} = VAR pid := Process.GetID (t); BEGIN IF Usignal.kill (pid, Usignal.SIGINT) # 0 THEN OSErrorPosix.Raise (); END; END Interrupt; PROCEDUREAbort (t: Process.T) RAISES {OSError.E} = VAR pid := Process.GetID (t); BEGIN IF Usignal.kill (pid, Usignal.SIGKILL) # 0 THEN OSErrorPosix.Raise (); END; END Abort; BEGIN END M3Process.