Enabling vretrace style demos