File : ints.ads

package Ints is

  pragma Pure;

  type Int is mod 2**32;
  type Int2 is mod 2**64;

end Ints;