map(list, i64 ^ (i + i32))
