on-disk 32-bit journal format