taglinefilesource code
objfile_stream172scripts/ksymoops.ccofstream objfile_stream(objfile_name);
objfile_stream174scripts/ksymoops.ccobjfile_stream.write(objfile_head, sizeof(objfile_head));
objfile_stream175scripts/ksymoops.ccobjfile_stream.write(code, code_size);
objfile_stream176scripts/ksymoops.ccobjfile_stream.write(objfile_tail, sizeof(objfile_tail));
objfile_stream177scripts/ksymoops.ccobjfile_stream.close();