As the identifier length is available, we might as well use it.