Easier way to collect dumps of 32-bit process on 64-bit server

We should use 32-bit version of Debugger like Debug diag x86 to collect manual dumps for 32-bit process on 64-bit server. Using 64-bit Debugger or task manager [in Windows Server 2008], will create a 64-bit dump. This will have dump of the syswow64 and it won’t allow extensions like psscor, sos to read it properly in windbg…