RM C 7 2 30 The Package Task_Attributes (GNAT Reference Manual)

### 6.51 RM C.7.2(30): The Package Task_Attributes ¶

> “Some implementations are targeted to domains in which memory use at run time must be completely deterministic. For such implementations, it is recommended that the storage for task attributes will be pre-allocated statically and not from the heap. This can be accomplished by either placing restrictions on the number and the size of the task’s attributes, or by using the pre-allocated storage for the first `N` attribute objects, and the heap for the others. In the latter case, `N` should be documented.”

Not followed. This implementation is not targeted to such a domain.