Form 843 is not used for retirement funds. The funds from a retirement fund are going to be taxed if not a ROTH. You may be able to request an exception for the 10% penalty if he is under 59 1/2 depending on what kind of retirement fund.