Anybody did transpile it to C with the microsoft rust to C transpiler?