update synthesis example