main header definitions