implemented_example/example library