debugging Palmeiro