Symbol: xlog_cil_force_seq