Procs

proc cargc(): cint {....raises: [], tags: [ReadIOEffect], forbids: [].}

proc cargv(argc: cint): cstringArray {....raises: [], tags: [ReadIOEffect],
                                       forbids: [].}