--** Abbreviations of various types

--* Plain variable
INT plain:

--* IS abbrev
INT is IS plain:

--* VAL IS abbrev
VAL INT val.is IS is:

--* INITIAL abbrev
INITIAL INT initial IS val.is:

--* RESULT variable
RESULT INT result:

--* RETYPES
[4]BYTE retypes RETYPES initial:

--* RESHAPES
[2][2]BYTE reshapes RESHAPES retypes:

--* VAL RETYPES
VAL [4]BYTE val.retypes RETYPES val.is:

--* VAL RESHAPES
VAL [2][2]BYTE val.reshapes RESHAPES val.retypes:
