dump_header 38 tools/build_halide_h.cpp dump_header(path + sub_header); dump_header 56 tools/build_halide_h.cpp dump_header(headers[i]);