proximal tendon of right extensor hallucis longus