Symbol: int_ctx_new