variant of header.c for this branch