various header files and library functions for TLPI