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