"Has any one a file?" asked Silva.  We all examined our knives.  I had one in my knife-handle, but it was broken, and I had neglected to get the blacksmith to put a new one in its place.  We hunted eagerly in our box of tools.  Nothing like a file could we discover.