i32 * -i
