make_x_monotone 0 5 1 2 1 0 0 9 1 4 1 3
make_x_monotone 1 4 1 7 1 6 1 5 1 8
