using awesome_print for sexp printer