First functional implementation recodification