Old style encoding was not used since about 10 years. Removing it
saves about 12 kB in decode_value2 with -Os.