i testsuite/compiler/check/oper-definition/Res.gf