var
  p: ^Int

program()
begin
  p := @5 (* @Error Expression of type 'Int' is not addressable *)
end.