path: root/testsuite/semlib/g2.stp

global g2
probe begin { g2[0] = f1() }