Should I file a tax when I am not a citizen, have no US income - but I used to work in the US until 2021? I did keep my 401K and HSA as savings. Thank you,