No se tiene la certeza de que Lucio haya sido su nombre: fue a partir del personaje homónimo de la novela que se le comenzó a atribuir éste.