Yeah, it's my favorite bit of C lore, a program that reads two integers, adds them, and reports the sum isn't well defined.