use largest 32-bits integers as nonexist version number