// varargs assignment fixer for a single string array argument
sO callwithEnter(O o, S method, S[] arg) {
  ret callwithEnter(o, method, new O[] {arg});
}

sO callwithEnter(O o, S method, O... args) {
  if (o == null) null;
  temp tempEnter(o);
  ret call_withVarargs(o, method, args);
}