distal tendon of right extensor carpi radialis longus