write the upper 32-bits in the adjacent bar. The consequences of the buglet were severe enough though: a machine check.