It's unclear if these wrappers in rust_builtin.c are actually used anywhere, but the code should be removed either way.