Drop your contract .cs file here, or point the harness at it:
  ./check.sh ../../src/contracts/MyContract.cs
