{ x1 = piecewise(t - 99, t >= 100, 1) }