ppc: don't return a value from a function declared void