string synthesis