yet more hard-coded header lengths