    class
    	EXECUTION_ENVIRONMENT

    General
    	cluster: base
    	description: "The objects available from the environment at time of execution"

    Ancestors
    	ANY

    Queries
    	Command_line: ARGUMENTS
    	current_working_directory: STRING_8
    	Default_shell: STRING_8
    	get (s: STRING_8): STRING_8
    	home_directory_name: STRING_8
    	return_code: INTEGER_32
    	root_directory_name: STRING_8

    Commands
    	change_working_directory (path: STRING_8)
    	launch (s: STRING_8)
    	put (value, key: STRING_8)
    	system (s: STRING_8)