path: root/testsuite/semlib/f1.stp

function f1 () { return 0 }