The `contract` speclib ins't actually checking the contract yet.
The
contractspeclib ins't actually checking the contract yet.