var
  p: ^Int

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