while A > 12 loop null; end loop;