Hard to find Dumpchk.exe

Microsoft bundles in the SDk for debugging

But see this page for 17mb download version

https://www.remkoweijnen.nl/blog/2013/06/13/debugging-tools-for-windows-direct-download/
   64bit
http://download.microsoft.com/download/A/6/A/A6AC035D-DA3F-4F0C-ADA4-37C8E5D34E3D/setup/WinSDKDebuggingTools_amd64/dbg_amd64.msi

referred to above from
https://plus.google.com/+DennisBareis/posts/7iRMgxsAeGn
posters frustrated, not sure it ever existed!
https://social.technet.microsoft.com/Forums/windows/en-US/048f2cd3-cbe3-4e0b-a025-1e436858d4d1/where-is-dumpchk-for-windows-7?forum=w7itprogeneral

SDK
https://docs.microsoft.com/en-us/windows-hardware/drivers/download-the-wdk

CLI
https://docs.microsoft.com/en-us/windows-hardware/drivers/debugger/dumpchk

can use windbg in the folder path
but must have symbol set in any case.
  look here
  https://docs.microsoft.com/en-us/windows-hardware/drivers/debugger/debugger-download-symbols