IMPLEMENTATION MODULE TimeString;
(* Formats the current local time via the shim (strftime "%c"). *)

PROCEDURE m2timestring (VAR a : ARRAY OF CHAR);
  EXTERNAL;

PROCEDURE GetTimeString (VAR a : ARRAY OF CHAR);
BEGIN
  m2timestring(a)
END GetTimeString;

END TimeString.