void object_library_launch();

int main()
{
  object_library_launch();
  return 0;
}