../../Task/Enforced-immutability/XPL0