noeq srecord Fail(O... objects) extends RuntimeException {
  toString { ret joinNemptiesWithColon("Fail", joinWithComma(objects)); }
}