Eliminate many warnings about unused definitions in PSA example programs#1407

jafingerhut wants to merge 2 commits into

p4lang:mainp4lang/p4-spec:mainfrom

jafingerhut:eliminate-most-unused-warnings-compiling-example-psa-programsjafingerhut/p4-spec-1:eliminate-most-unused-warnings-compiling-example-psa-programsCopy head branch name to clipboard