onelinecomment
use empty_ctxt to simplify downstream
test case work
starting to add sexp encoder