A function (to-tabfile-header) that may or may not be useful.