basic-contract-first: reformatted
basic-contract-first: refreshed configuration