package test { class Math { static function add(integer x, integer y) returns integer { int z = x + y return x + y } } native testFail(string msg) native testSuccess() init { if (Math.add(3,4) == 7) { testSuccess() } else { testFail("testFunctionCall") } } }