Exporting symbols from omega-dpl.