extensor indicis; extensor muscle of index finger