fix proof of ReadInt32