Imprement prelude.ls in C++ language