3 ms·

I didn't even read the link, but it points to Adacore, which is a not-very-subtle hint what language it's going to be about.