counter_example-y += counter_example.o