#pragma once #include std::uint32_t encoding_mpg123_to_PulseAudio(int encoding_mpg123);