C++: Add a lift() with 5 arguments.