27.1.26.2 Instruction map

Synopsys:

map

Given a value, mark it as as mapped. If the value can’t be mapped then this is a no-operation.

Stack: ( VAL -- VAL )