Fix header array assignment bug#5567

nishant11-tchy wants to merge 3 commits intop4lang:mainp4lang/p4c:mainfrom

nishant11-tchy:fix-header-array-bugnishant11-tchy/p4c:fix-header-array-bugCopy head branch name to clipboard