SbVec3s(3) on Linux

The text e8cb08d5e953, as Debian 5.0 (Lenny) shipped it.

SbVec3s(3) on Linux now