TYPE First = ^INTEGER
TYPE Second = ^INTEGER
DECLARE Value : INTEGER
DECLARE A : First
DECLARE B : Second
A <- ^Value
B <- A