i64 <= i ? i32 : list
