Correct the static initialization in value_repr.h