../../Task/Box-the-compass/XPL0