2 ms·> For example, they always terminate. No. In fact, it's a huge problem in imperative code at all layers.by _pmf_ 11y ago> For example, they always terminate. No. In fact, it's a huge problem in imperative code at all layers.