Use headers to determine MAX_INT value