Symbol: dc_construct_ctx