ok, so what be the easiest way to get the new-style header to actually the print the string rather than the address ? Merely casting, you might notice, has no effect here.