0000000000001000
t ← 0;
T ← Bit(t);