../../Task/Magic-constant/XPL0