As noted, both 401(k) accounts and life insurance policies list a specific person as beneficiary. So it would be up to the administrators of those (the company where he worked or the insurance...