Add TK instructions.