example which make coherency test segfault