These are in rust_builtin.cpp presently, should move when it's possible.
These are in rust_builtin.cpp presently, should move when it's possible.