When amo_offset = UInt(0), UIntToOH(amo_offset) = "b01", not b"1". This meant that the amo wmask was double wide, making wmask() fat.