Unsafe has submodules that are like their corresponding module, except with no range checks. Hence, mistaken uses can cause segfaults. Be careful!
Unsafe
module Consume : module type of Consume
module Fill : module type of Fill
module Peek : module type of Peek
module Poke : module type of Poke