type
  Handle = extern
  Alias = Handle

var
  handle: ^Handle := nil
  alias: ^Alias

proc take(h: ^Handle) -> ^Handle
return h

begin
  alias := take(handle)
end.