A generalization of the Pastijn product is introduced so that, on the level of e-varieties and pseudoe-varieties, this product and the regular semidirect product by completely simple semigroups 'almost always' coincide. This is applied to give a model of the bifree objects in every e-variety formed as a regular semidirect product of a variety of inverse semigroups by a variety of completely simple semigroups that is not a group variety.2000 Mathematics subject classification: primary 20M17, 20M07, 20M10.