22.3.7 FORMAT Control-Flow Operations