Move printing the header to s_start, removing the need for the special pointer value. -- Brian Gerst