static S methodBodyOfStandardFunction(S sfName) {
  ret join(tok_methodBody(textOfStandardFunction(sfName)));
}