- Check for errors when a contract tries to open a file. - Contract that should not be stored (contract that try to open a file) is stored. This contract should not be stored and needs to be fixed.