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