So that inside a function we can create an array of size n, where n is a local variable (not a function parameter):

n: i32 = 5
A: Allocatable[f64[:]] = empty(n, ...)