Put user-defined header at the end of in.tab.h