path: root/testsuite/semko/nine.stp

#! semtest

probe foo {
  a[4] = 1;
  a = 2;
}