So he just walked out? lol That’s kind of funny
BTW, it seems that a federal employee who is eligible for retirement can just walk away and disappear. It’s up to his employing office to fill out his or her retirement papers and have them processed. The employee does not need to give notice.