177 static void write_bytes(const char *s, size_t len) {  in write_bytes()  function
184   write_bytes((char*)&i, 4);  in write_32bit_value()
203   write_bytes(s, strlen(s));  in write_string()
204   write_bytes("\0\0\0\0", 4 - (strlen(s) % 4));  in write_string()
397   write_bytes("adcg", 4);  in llvm_gcda_start_file()
398   write_bytes(version, 4);  in llvm_gcda_start_file()
447   write_bytes("\0\0\0\1", 4);  in llvm_gcda_emit_function()
495   write_bytes("\0\0\xa1\1", 4);  in llvm_gcda_emit_arcs()
551   write_bytes("\0\0\0\xa1", 4);  in llvm_gcda_summary_info()
560   write_bytes("\0\0\0\xa3", 4); /* tag indicates 1 program */  in llvm_gcda_summary_info()
574     write_bytes("\0\0\0\0\0\0\0\0", 8);  in llvm_gcda_end_file()