mul24(3clc) on Linux

The text 1de3ac2bedd5, as Debian 11 (Bullseye) shipped it.

Fast integer function to multiply 24-bit integer values.

mul24(3clc) on Linux now