Include the htup.h header file