int() converted to variadic form