static F2<O[], Bool> isAllowed_f;
static volatile bool isAllowed_all;

sbool isAllowed(S askingMethod, O... args) {
  ret isAllowed_all || isTrue(callF(isAllowed_f, concatArrayLists(askingMethod, args)));
}