type
  Handle = extern

var
  p: ^Handle

program()
begin
  p := p + 1 (* @Error Opaque type 'Handle' cannot be used as an element type in pointer arithmetic *)
return 0u8

end.