1
pragma Off(Floating_point);
3
pragma On(Literals_in_code);
5
pragma On(pointers_compatible);
6
pragma On(Callee_pops_when_possible);
8
pragma On(Auto_reg_alloc);
9
pragma On(Const_in_Code);
10
pragma On(Read_only_strings);
11
pragma On(Optimize_for_space);
13
pragma Off(Prototype_override_warnings);