> "billion dollar mistake" is what Tony Hoare [...] called it (later on, of course) would be damning but also fun if it ever turned out they planted this as a

> "billion dollar mistake" is what Tony Hoare [...] called it (later on, of course) would be damning but also fun if it ever turned out they planted this as a practical joke, fully knowing what they were doing