Basics of C-synthesis program