definition module CallProc

import StdEnv, StdIO

CallProcess :: !String [(!String,!String)] !String !String !String !String !*OSToolbox *World -> (!Bool, !Int, !*OSToolbox, *World)