introducing *header-buffer* in c walker