Symbol: hva_ctx_dbg