converter: log deinterpolate_vararg_mixins