../../Task/Enforced-immutability/Ada