#include <perms.h>
int EXTERNALINT;
extern int NONLOCALEXTERNALINT;
static void LOCALROUTINE(void) {
  _imp_enter();
  EXTERNALINT = 1;
  _imp_leave();
}
void EXTERNALRT(void) {
  _imp_enter();
  LOCALROUTINE();
  _imp_leave();
}