That is correct.  Given the design of string_value, we cannot move the value into the map as that would "empty" the hardware model fact, so we copy it.