#code-contract