2 to 3 garlic cloves cut in half, green shoots removed, and mashed to a paste in a mortar and pestle with 1/4 teaspoon salt