completed s_expr and s_expr_pretty