Design_by_contract loading ...