Technetium and mixing in simulated populations of double-shell phase stars.