function lib3() {
  echo lib3
}