Redirecting to Compile-Time Memory Safety in C.