UB (specified to be undefined) and 'plain' unspecified are not the same thing.