use UINT32_MAX (from Kevin Zheng)