MODULE TCsize;
(* C size_t/ssize_t are 64-bit on amd64. *)
FROM SYSTEM IMPORT CSIZE_T, CSSIZE_T, COFF_T;
VAR ExitCode : INTEGER;
BEGIN
  IF (SIZE(CSIZE_T) = 8) AND (SIZE(CSSIZE_T) = 8)
     AND (SIZE(COFF_T) = 8) THEN
    ExitCode := 42
  ELSE
    ExitCode := 1
  END
END TCsize.