(configuration puzzle(atom, basic←time, commander, convert, f←s, i←o, rope, safe←storage, unsafe←storage, viewer←i←o);
definitions pascalsic; external;
definitions pascal←novice𡤏iles; external;
program pascalsic←impl; external;
program pascal←novice𡤏iles←impl; external;
definitions puzzle←private(pascalsic*, pascal←novice𡤏iles*); forward;
program puzzle←impl(pascalsic, pascal←novice𡤏iles, puzzle←private*); forward;
begin
puzzle←private, puzzle←impl := $rest$;
end) := puzzle.pas;