static temporary variable in C

Hi,

Is there a way to ask loopy to declare an array with static keyword in C backend? I saw a static class here but not sure if that's the way to go.

The context for this is, I have some constant arrays in the kernel, without static keyword, it appears that they are allocated repeated when calling the kernel in a loop, thus hurts performance when the arrays are large.

Thanks!

-TJ