Header final push; ToDbg tweaks