Corrected the example to return 42 rather than 43