Generate contract
(
)