幸亏A股做空机制不丰富。