+ UINT32_MAX ifndef this for travisCI