package Sokoban is


    type LevelID is new Integer range 0 .. 50;




    procedure Load_Level
           (Number : in LevelID);




    procedure Show;

    procedure Hide;


end Sokoban;