documentation on vmcatcher