nitg: the header writer is a full-declaration header file