Yeah it would. There are a few attempts, such as C-gull (https://github.com/sunfishcode/c-ward/tree/main/c-gull#readme https://github.com/sunfishcode/c-ward/tre

Yeah it would. There are a few attempts, such as C-gull (https://github.com/sunfishcode/c-ward/tree/main/c-gull#readme https://github.com/sunfishcode/c-ward/tree/main/c-gull#readm...). > c-gull is a libc implementation. It is an implementation of the ABI described by the libc crate. > Currently it only supports --linux-gnu ABIs, though other ABIs could be added in the future. And currently this mostly focused on features needed by Rust programs, so it doesn't have all the C-idiomatic things like qsort yet, but they could be added in the future.