Code by example