#include<mem.cvh>
#include<pointer.cvh>

int main() {
  $mem m;
  int a;

  // invalid memory location reference:
  m = &a + (0 .. 9);
  $assert($equals(&m, &m));
}