There's undefined behavior, which is quite well specified. What do you mean by unspecified behavior? Do you have an example?