Symbol: ctxt_has_ras