module Tainers::Specification