vcsh: More debugging