map(array, # ^ i32)
