More robust sexp conversions for Cstruct.t