svoid vm_setGlobalACC(AccessControlContext acc) {
  vm_generalMap_put("Global ACC", acc);
}