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");
 }