* Thorsten Glaser <tg@mirbsd.de>, 2014-04-15, 11:24:
we need to go further. We need a programming language (with at least two compiler implementations), which I will call Ͻ, that looks like C so much that *every* C program¹ is also a valid Ͻ program, and *every* Ͻ program that does not make use of the additional guarantees (i.e. no C UB) is also a valid C program.
[…]
find a non-sucking name that is ISO 646 IRV,
Let's call it Cava. -- Jakub Wilk