Yeah, that's what we want in our coding: non-determined behavior.