Pair programming with Warty