PPC64 passes arguments of integral type in i64 registers, not i32. Reflect this