let ctxt_of s = s.ctxt