Storage_Size may be
specified for a task first subtype that is not an interface via an attribute_definition_clause.
When the attribute is specified, the Storage_Size aspect is specified
to be the value of the given expression.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe