In my opinion the program compiles correctly because the returned values are consistent with the actual ones