When the stack checker analyzes the data and retain stacks, it only uses integer values for convenience. They are then mapped to literals and input parameters using a hashtable.

Reading and writing known value data:
copy-value ( value -- value' )

copy-values ( values -- values' )

known ( value -- known )

known-values

make-known ( known -- value )

set-known ( known value -- )