impl of re-designed value representation