static bool lispTrueVerbose(S head, O... args) {
  ret lispTrueVerbose(lisp(head, args));
}

static bool lispTrueVerbose(Lisp l) {
  bool b = lispTrue(l);
  print("lispTrueVerbose: " + b + " " + l);
  ret b;
}