DEFINITION MODULE Show24Util;
(* A small helper library: string building (Strings + Conversions) and
   a real-valued square root through Math. *)
PROCEDURE Label(prefix : ARRAY OF CHAR; n : INTEGER;
                VAR out : ARRAY OF CHAR);
(* out := prefix followed by n's decimal image. *)
PROCEDURE Root(n : INTEGER) : INTEGER;
(* floor(sqrt(n)). *)
END Show24Util.