with

    FLTK,
    Sokoban;


function Main
    return Integer is
begin
    Sokoban.Load_Level (Sokoban.LevelID'First);
    Sokoban.Show;
    return FLTK.Run;
end Main;