2 ms·

There are languages that don’t permit non-terminating programs (at the cost of not being Turing-complete), such as Agda.