[2^10 .. 2^16) -- for implementations [2^16 .. 2^17) -- for other users
[2^10 .. 2^16) -- for implementations
[2^16 .. 2^17) -- for other users