Finish blind translation of lib