By popular demand, a low-level solution: http://blog.frama-c.com/index.php?post/2013/05/03/nearbyintf2 http://blog.frama-c.com/index.php?post/2013/05/03/nearbyi

By popular demand, a low-level solution: http://blog.frama-c.com/index.php?post/2013/05/03/nearbyintf2 http://blog.frama-c.com/index.php?post/2013/05/03/nearbyintf...