Updating: supporting static array allocation on stack