value encoding