And/or if a dividend (special or otherwise) is announced which may or may not occur - this would be at the discretion of the board/management
However, the question was more related to what could happen to the cash. End of the day it belongs to the company, the CEO cannot remove it for personal reasons.