[teo_zero]

> int c[] = ..., that is always going to be on the stack

Why? In the following code, only c will be allocated on the stack:

  int a[]={1,2,3};
  foo() {
    static int b[]={1,2,3};
    int c[]={1,2,3};
  }

[ActorNightly]

The point is anything that is not dynamically allocated has size known at compile time.