Perfect answer,
I would also like to add that you can take 401k in installments after you retire in your home country.
As long as the amount you take out periodically is small enough, and the fact that you are a senior citizen with very low tax bracket, you’ll have very little taxation.
So, max out your match at least.
At Google it's a no brainier, max out pre-tax, and if you leave, depending on your situation either keep for retirement or just take all the money out just before leaving, the penalty will be less than Google match
If you get a match, then yes. You can still withdraw the money in retirement from your home country. If you don't get a match, meh.
Perfect answer, I would also like to add that you can take 401k in installments after you retire in your home country. As long as the amount you take out periodically is small enough, and the fact that you are a senior citizen with very low tax bracket, you’ll have very little taxation. So, max out your match at least.