DEFINITION MODULE SIntIO;

        (********************************************************)
        (*                                                      *)
        (*                Integer I/O operations                *)
        (*                                                      *)
        (*  Programmer:         P. Moylan                       *)
        (*  Last edited:        2 June 2024                     *)
        (*  Status:             OK                              *)
        (*                                                      *)
        (********************************************************)


FROM Arith64 IMPORT CARD64LE, INT64LE;


PROCEDURE WriteCard (N: CARDINAL);
PROCEDURE WriteCard64 (N: CARD64LE);
PROCEDURE WriteInt64 (A: INT64LE);

    (* Writes N in decimal. *)

    (* Writes N in decimal. *)

PROCEDURE WriteCardRJ (N, space: CARDINAL);

    (* Writes N in decimal, right-justified in space spaces. *)

PROCEDURE WriteHex16 (N: CARDINAL);
PROCEDURE WriteHex32 (N: CARDINAL);
PROCEDURE WriteHex64 (N: CARD64LE);

    (* Writes N in hexadecimal. *)

END SIntIO.

