0000000000011000 t ← 1; T ← Bit(t);