i64 <= 1 and ok
