plus(1, 1) UInt16 2 -- plus(dummy, dummy) UInt16 0 -- plus(id, length(value)) UInt64 5 -- concat(concat(toString(id), \'_\'), value) String 0_Value