headerdef