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]);