[Vm-dev] Re: renaming dprintf