After you file

By the way, I plan to mail amended 8938 with 1040x.