regerande , benämd Theodosius , en gudfruktig kejsare.