let sexp_of_t _ _ _ ec = sexp_of_string (if state ec then "GOOD" else "BAD")