Add the code with the patch to be tested in TFINT.