3 ms·As an aside, Tony Hoare is a national treasure.by twic 4y agoAs an aside, Tony Hoare is a national treasure.