/sys/src/cmd/proof/