Compiling the contract