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