and theoretical ones that either have not been seen in practice or
are a result of high-level unsafe specification decisions. We did
not make it a goal to create a theoretically complete classification
scheme. Instead, we offer a scheme that is open-ended and