static AccessControlContext acc_current() {
  ret AccessController.getContext();
}