An old razor sharpener