Basic software synthesis in C++