24.1.26.19 Instruction msetsiz
Synopsys:
Given a map-able value and a bit-offset, set it as the mapping
size-bound. If the value is not map-able, the bit-offset is
ignored.
Note that only array values can have mappings bounded by size.
Stack: ( VAL ULONG -- VAL )