File psl-1983/3-1/tests/20/main7.cmd artifact c3b37addf4 part of check-in e1a8550313

main7,dmain7,sub7,Dsub7,sub6,Dsub6,sub5a,Dsub5a,sub5b,Dsub5b,sub4,Dsub4,sub3,Dsub3,sub2,Dsub2,20io