more elaborate header definitions