added example in Ceylon