Other benefits



opportunity to reject before DATA
saves bandwidth

simple syntax and semantics
less parsing, less brittle

existing verification techniques
call-back verification