static VF1<O> vf_print() {
  ret vfPrint();
}