don't depend on @gozala's reducible modules