More public header files