fprintf(fd, "reserve_size, before_hdr_pad, tsc);\n");
print_tabs(2, fd);
fprintf(fd, "*to_base += before_hdr_pad + after_hdr_pad + header_size;\n");
fprintf(fd, "reserve_size, before_hdr_pad, tsc);\n");
print_tabs(2, fd);
fprintf(fd, "*to_base += before_hdr_pad + after_hdr_pad + header_size;\n");