Turtle Soup: A Lesson in non-Interference