Verified lib file