module Range_intf = Pr8548__Range_intf
module Range = Pr8548__Range
module Ranged_intf = Pr8548__Ranged_intf
module Ranged = Pr8548__Ranged