provmain$target:main:main:third
provmain$target:::third abcdef 1234
provliba$target:liba.so:libafunc:third
provliba$target:::third 123 abc
provliba$target:liba.so:libafunc:second
provliba$target:::second 456
provliba$target:liba.so:libafunc:first
provliba$target:::first 789 def
provmain$target:main:main:second
provmain$target:::second 56 78 90
provlibb$target:libb.so:libbfunc:third
provlibb$target:::third 12 AB
provlibb$target:libb.so:libbfunc:second
provlibb$target:::second 34 CD
provlibb$target:libb.so:libbfunc:first
provlibb$target:::first 56
provmain$target:main:main:first
provmain$target:::first

success
