Does anyone know what happens to options on a halted stock? Can you still exercise them even if the underlying stock is halted? Or do they just expire worthless if the stock is still halted by the time of expiration?