Use C11's variable length arrays