added example in Opa language