Module("system/posix/process",[Imports([Import("system/posix/signal"),Import("util/config/verbose"),Import("system/io/file"),Import("system/io/dir"),Import("system/io/char"),Import("system/io/term")]),Strategies([SDefNoArgs("setenv",Seq(Match(NoAnnoList(Tuple([Var("name"),Var("value"),Var("overwrite")]))),Where(Prim("\"SSL_setenv\"",[Var("name"),Var("value"),Var("overwrite")]))))]),Strategies([SDefNoArgs("get-pid",PrimNoArgs("\"SSL_get_pid\""))]),Strategies([SDefNoArgs("fork",PrimNoArgs("\"SSL_fork\"")),SDefNoArgs("execvp",Seq(Match(NoAnnoList(Tuple([Var("file"),Var("argv")]))),Seq(Prim("\"SSL_execvp\"",[Var("file"),Var("argv")]),Where(BA(Seq(CallNoArgs(SVar("conc-strings")),Seq(CallNoArgs(SVar("perror")),Fail)),NoAnnoList(Tuple([NoAnnoList(Str("\"SSL/execvp: Cannot execute file \"")),Var("file")]))))))),SDefNoArgs("execv",Seq(Match(NoAnnoList(Tuple([Var("file"),Var("argv")]))),Seq(Prim("\"SSL_execv\"",[Var("file"),Var("argv")]),Where(BA(Seq(CallNoArgs(SVar("conc-strings")),Seq(CallNoArgs(SVar("perror")),Fail)),NoAnnoList(Tuple([NoAnnoList(Str("\"SSL/execv: Cannot execute file \"")),Var("file")])))))))]),Strategies([SDefNoArgs("waitpid",Seq(Match(Var("pid")),Prim("\"SSL_waitpid\"",[Var("pid")])))]),Signature([Constructors([OpDecl("WaitStatus",FunType([ConstType(SortNoArgs("Int")),ConstType(SortNoArgs("Int")),ConstType(SortNoArgs("Int"))],ConstType(SortNoArgs("WaitStatus"))))])]),Strategies([SDefNoArgs("kill",Where(Seq(Match(NoAnnoList(Tuple([Var("pid"),RootApp(Seq(CallNoArgs(SVar("number-from-signal")),Match(Var("sig"))))]))),Prim("\"SSL_kill\"",[Var("pid"),Var("sig")]))))])])
