Synopsys:
msetsel
Given a map-able value and an unsigned long, set it as the mapping bound by number of elements. If the value is not map-able the unsigned long is ignored.
Note that only array values can have mappings bounded by number of elements.
Stack: ( VAL ULONG -- VAL )