Ada Programming/Pragmas/Restrictions/No Allocators

This restriction ensures at compile time that there are no occurrences of an Allocator.