How does the return statement work in C