map(map(array, #), # ^ i32)
