Past experience indicates that a comment
/* 24 is enough because tab13 has max. a 19 bit huffvector */
in mpg123 is telling a truth and you do not really want 56-bit shifts.
At least attached patch is needed although an explicit use of a type
with a guaranteed witdh, like u32, would be even better.
Also Makefile has to be modified.
I cannot test it right now with new libraries but most likely other
attached changes will be also beneficial. The patch mentioned above
is in the last section.
Created attachment 3573 [details]
64-bit Alpha fixes to mpg123
will be fixed in mpg123-0.59r-9.