A variation of the extensor hallucis longus muscle (accessory extensor digiti secundus muscle)