contract-first-approach-example