implementation module CommandLine

import StdInt, StdList, StdEnum
import Pointer

getCommandLine :: *World -> ([String],*World)
getCommandLine world 
	# argc = derefInt global_argc
	# argv = derefInt global_argv
	= ([derefString (readInt argv (i << 2) ) \\ i <- [0..argc - 1]], world)
where
	//Global argc pointer
	global_argc :: Pointer
	global_argc = code {
		pushLc global_argc
	}

	//Global argv pointer
	global_argv :: Pointer
	global_argv = code {
		pushLc global_argv
	}