static PCallPolicy defaultPCallPolicy = l1 printStackTrace;

static PCallPolicy defaultPCallPolicy() {
  ret defaultPCallPolicy;
}

svoid defaultPCallPolicy_set(PCallPolicy policy) {
  defaultPCallPolicy = policy;
}