`max_atomic_width` was missing in the spec, which means it fell back to the pointer width of 16 bits.