STATE_VDECL & friends