Recode c functions