This is a non-overlapping interval map that we call "Address Range Map" (ARMap). This map internally forms a red-black tree, which follows the implementation of the paper written by Kimball Germane and Matthew Might: "Deletion: The Curse of the Red-Black Tree", Journal of Functional Programming, vol. 24, no. 4, 2014.