Random badge ID generator is added in ImplBadgeReader.