This is meant to be a sample contract file.