static <A> A printQuine(F0<A> f) {
  ret print(str(f) + "=", callF(f));
}