A trivial and nonoptimized C++ type conversion library