The mammalian red nucleus.