(module Heap.Removable)