type(1 == i64)
