32     int result = $opt$TestInvokeIntParameter(42);  in main()  local
33     if (result != 42) {  in main()
34       throw new Error("Different value returned: " + result);  in main()
46     result = $opt$TestInvokeWith2Parameters(10, 9);  in main()
47     if (result != 1) {  in main()
48       throw new Error("Unexpected result: " + result);  in main()
51     result = $opt$TestInvokeWith3Parameters(10, 9, 1);  in main()
52     if (result != 0) {  in main()
53       throw new Error("Unexpected result: " + result);  in main()
56     result = $opt$TestInvokeWith5Parameters(10000, 1000, 100, 10, 1);  in main()
57     if (result != 8889) {  in main()
58       throw new Error("Unexpected result: " + result);  in main()
61     result = $opt$TestInvokeWith7Parameters(100, 6, 5, 4, 3, 2, 1);  in main()
62     if (result != 79) {  in main()
63       throw new Error("Unexpected result: " + result);  in main()