to make DEBUG_BUFFER_FMT in injectctrl