First version of the synthesis library