=== starting libsynthesis ===

=== libsynthesis: 0 DONE ===