../../../../../Prelude/Natural/odd 0