How does such a contract play out if the shorted thing is not marketable at expiration?