give a concrete version number