A: while A > 12 loop null; end loop;