Especially with combined with reverse-execution in rr or UndoDB!