t_csize.mod 280 B

123456789101112
  1. MODULE TCsize;
  2. (* C size_t/ssize_t are 64-bit on amd64. *)
  3. FROM SYSTEM IMPORT CSIZE_T, CSSIZE_T, COFF_T;
  4. VAR ExitCode : INTEGER;
  5. BEGIN
  6. IF (SIZE(CSIZE_T) = 8) AND (SIZE(CSSIZE_T) = 8)
  7. AND (SIZE(COFF_T) = 8) THEN
  8. ExitCode := 42
  9. ELSE
  10. ExitCode := 1
  11. END
  12. END TCsize.