static S callAnswerFunctionVerbose(S s) {
  print("> " + s);
  S answer = callStaticAnswerMethod(mc(), s);
  print("< " + answer);
  ret answer;
}