public static String getGlobal(String name) { return (String) globals.get(name); }
public static void putGlobal(String name, String var) { globals.put(name, var); System.out.println(" PUT CONSTANT " + var + " = \"" + name + "\" IN GLOBALS"); }