Retirement tax questions

Well none of the rollover will be taxable.  So that's good and not a problem.  But the post tax amount needs to be kept separate.  I'm not sure how that should work.  I'll page @dmertz 

 

Did they take any tax withholding out of it?