2 ms·

All languages have loopholes; even Oberon has at least one, in the type case statement (uncovered by C. Szyperski).