assign32           46 src/runtime/write_debug_image.cpp     void assign32(uint16_t tag_code, int32_t count, int32_t value) __attribute__((always_inline)) {
assign32           53 src/runtime/write_debug_image.cpp     void assign32(uint16_t tag_code, int16_t type_code, int32_t count, int32_t value)  __attribute__((always_inline)) {