static void overwriteAnswer(S a) {
  callOpt(getDispatcher(), "overwriteAnswer", a);
}