Symbol: xlog_cil_push_now