texprocess_banner_header