/*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide."@*/ ;
typedef /*@signedintegraltype@*/ intmax_t;
/*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide."@*/ ;
typedef /*@signedintegraltype@*/ intmax_t;