l4/pkg/loader/examples/dynamic-c++/libbar_dyn
