John Malala (tom. ii. p. 120 - 124) relates the fact; but he seems to confound the names or persons of Proclus and Marinus.