Marinus, 5th century