Fix source for function4.decaf; it now passes.

Function4.decaf contained a syntax error; it had a function with the return type `int` that never returned an integer. I changed the return type to `void` and it now compiles.