Adapt int_ctx_new() to use with providers