Symbol: dbg_vprintf