c_getenv :: CString -> IO (Ptr CChar)
{-|
-@withArgs args act@ - while executing action @act@, have 'System.getArgs'
+'withArgs' @args act@ - while executing action @act@, have 'getArgs'
return @args@.
-}
withArgs :: [String] -> IO a -> IO a
withArgv (p:xs) act
{-|
-@withProgName name act@ - while executing action @act@,
-have 'System.getProgName' return @name@.
+'withProgName' @name act@ - while executing action @act@,
+have 'getProgName' return @name@.
-}
withProgName :: String -> IO a -> IO a
withProgName nm act = do