Symbol: xlog_cil_push_work