Make refractoriness tests also run with C++ code generation, change return type of the int_ function to int