program()
var
  n: Word

begin
  n := #offset(Int, top) (* @Error Type 'Int' does not support trait '#offset' *)
end.