King of the western Roman empire; Ennodius of Pavia.