Doing the Prospero-Challenge in RPython