Symbol: postprocess_bh_ctx