.
vera vegas code csrg