Solution8: programming by example