5,6c5,6
< 501 ns:    y=1
< 601 ns:    y=0
---
> 501 ns:    y=0
> 601 ns:    y=1
