Re: [Vm-dev] '-DNDEBUG=0' and '-DDEBUGVM=1'