example-out: example-out.cc