instructions: use .tainted