sc_Int1eV3(3) on Linux

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

Int1eV3 is a class wrapper for the one body part of the C language IntV3 library.

sc_Int1eV3(3) on Linux now