The Verba runtime environment