https://www.taxconnections.com/taxblog/tax-implications-of-us-expatriation-internal-revenue-code-877a/