A specification for a sane subset of VT controls