introduce ``@distr_support``