diffoscope 0 -> 1