Found problems related to ARM (32-bit) architecture with torn reads/writes of sequencer number.
7 files changed