fn main() {
  let @int x = @10;
  check ((*x) == 10);
}