module SpecProducer::Producers