static <A> A printAndProgramLog(A a) {
  S s = str(a);
  print(s);
  logQuoted(programLog, s);
  ret a;
}