sexp creation and mk