pragma identifier [(pragma_argument_association {, pragma_argument_association})];
[pragma_argument_identifier =>] name
| [pragma_argument_identifier =>] expression
pragma Optimize(Off); --turn off optional optimizations
pragma Inline(Set_Mask); --generate code for Set_Mask inline
pragma Suppress(Range_Check, On => Index); --turn off range checking on Index