Symbol: nb_ctx_resolve