i32 * i64 / 1
