i64 + i32 * 1
