TYPE First = ^INTEGER TYPE first = ^INTEGER