10624 /* maximum representable file size */