Demo of the Doppio Runtime System.