let decode fmt x = e_app2 "decode" fmt x