pretty sure the C type system is not turing complete, but that doesn't necessarily make it superior