Thank you for pointing that out. That needs to be fixed too. The type simply has to be correct, otherwise there is no way we can be sure to generate correct code for calling the function and horrible things can happen.