sexp mappings