let encode fmt v = e_app2 "encode" fmt v