A remake of libc