Re: [RETRACE-SERVER PATCH] Include floating-point registers in the backtrace