Synthesis toolkit in C