  We give a sufficient condition for the termination of flips. Then we discuss
a semi-stable minimal model program for varieties with (numerically) trivial
canonical divisor as an application. We also treat a slight refinement of dlt
blow-ups.
