static S answer(S s) {
  ret s;
}