Technically that's registered shorting. But since the float is locked you can bet they won't be covering that too soon.