new encoding of values