New commits to test whether clockstar can detect k<3