static F1 toF1(fO f) {
  ret functionToF1(f);
}