A Run-Time Type-Checking Debugger for C