What does the following code do? Note that parameter b must be a positive integer to prevent infinite recursion. After you determine what the code does, modify the program to retain the functionality but remove the restriction on the second argument being non-negative. [10 marks] int main) ( int x, y; cout x >> yi cout