We currently only need these few symbols. Test: Use them from Rust. Fixes: 175619259 Change-Id: I0c2ca708c5a6ab550af7103754db775ffbca245b