Describir: Real-World Distributed Computer with Ibis.