libcoin80v5 binary: embedded-library
