run contract for `s-exp`

Implement the contract as a function, so that it's a flat contract.