Correct void/bot return types on x86 32-bit