add test example for overflow bug