One kind, but two different classes of undefined behaviour.