Add piplib_osl_int library