x64 code base of TFN