Reproduction of vdebug bug