static <A> A programLogAndPrint(A a) {
  ret printAndProgramLog(a);
}