max(1) <= i64
