File:Design_by_contract.svg loading ...