taint introduction API tested and working