writeContracts.ts