Added first example, gives following error: main.adb:7:05: warning: objects of this type will violate No_Task_Hierarchy at line 1
Removed 'type' from specification and now the following error is given: main.adb:7:05: violation of restriction No_Task_Hierarchy
Removed the task specification line and now it complains about missing specification (main.adb:7:15: missing specification for task body).