add contract.rspc use 'let'