printchk produces working prm files
printchk produces working prm files


Former-commit-id: e20a0bca8bf43bc7ca277e83e24cffa088f14fa2 [formerly f6e6cf94da4e68c0dc5cbcba2640bef3564e5fd9]
Former-commit-id: 2c827c35a49f3bae398f365ab687a58a74a77902
simomarsili/elss