Test and fix variant arguments of atomic types.