Use fixed-lwength types to make the save format more portable