Add spec definitions of implementation-defined and undefined behavior.