0000000001011000 s ← 1; S ← Bit(s);