Re: L4Re: stack allocation of moderately large arrays