i64 * (1 + 1)
