Title: Devaluation in a small open economy