Symbol: xlog_cil_over_hard_limit