Added an idea for having 64-bit sizes in header in addition to 32-bit