`long long` 型が保証する最低限のビット数はいくつか。

ビット単位の右シフト `x >> 1` を行ったとき、符号なし整数ではどうなるか。