Library std

DEFINITION stdEnv;
(*Procedure for getting the value of environment variables*)

	PROCEDURE Get(name: ARRAY OF CHAR; VAR value: ARRAY OF CHAR; VAR res: INTEGER);
(*Get(nm, val, res) returns in val the value of an environment variable with the name nm, or the empty string if the variable is undefined. If the variable is defined, the number of truncated characters is assigned to res, else res is -1.*)

END stdEnv.