example for manyBug