Memory allocation in subroutines with sat

The sat preprocessor allows us to declare temporary arrays of arbitrary dimension, such as

temporary real*4 data(n1,n2,n3), convolution(j+k-1)

These declarations must follow other declarations and precede the executable statements.