172     int ret_val = wholeSwitchDead(10);  in main()  local
173     if (ret_val != 100) {  in main()
174       throw new Error("Incorrect return value from wholeSwitchDead:" + ret_val);  in main()
177     ret_val = constantSwitch_InRange();  in main()
178     if (ret_val != 7) {  in main()
179       throw new Error("Incorrect return value from constantSwitch_InRange:" + ret_val);  in main()
182     ret_val = constantSwitch_AboveRange();  in main()
183     if (ret_val != 15) {  in main()
184       throw new Error("Incorrect return value from constantSwitch_AboveRange:" + ret_val);  in main()
187     ret_val = constantSwitch_BelowRange();  in main()
188     if (ret_val != -5) {  in main()
189       throw new Error("Incorrect return value from constantSwitch_BelowRange:" + ret_val);  in main()