lib: taint instructions
0.5.0