They can just pocket the corresponding 5.6b USD.