The list of unspecified behaviour is infinite, but the list of undefined behaviour is well defined and finite ;)