-- Programmed by Jedidiah Barber -- Licensed under the Sunset License v1.0 -- See license.txt for further details package Sokoban is type LevelID is new Integer range 0 .. 50; procedure Load_Level (Number : in LevelID); procedure Show; procedure Hide; end Sokoban;