Ptx header files.

Replaces #38.