function main (const c: contract(unit)) : address is address(c)