Constant miri::concurrency::vector_clock::SMALL_VECTOR

const SMALL_VECTOR: usize = 4;

The size of the vector-clock to store inline clock vectors larger than this will be stored on the heap