When I set out to write huge complex symbolic execution engines that translate big chunkcs native machine code to binary logic I use python for that. Not C. And I know that it'll take like 30 hours to get a solution but it takes me 1/100th of the time to write the engine.
When I write a kernel module or a system service, I use C.