The document discusses porting a C++ library for processing point clouds and triangle meshes from 32-bit to 64-bit. An Italian company called E.G.S. S.r.l. that develops 3D simulation solutions used a library called Leios Components that it wanted to port to 64-bit. They hired a company called OOO "Program Verification Systems" to help with the port using their code analyzer Viva64. Viva64 found and corrected issues allowing the large library to be successfully ported to 64-bit in a short timeframe.