recode part of libc