We should import more of the stuff from https://www.chromium.org/Home/chromium-security/education/security-tips-for-ipc#TOC-Be-aware-of-the-subtleties-of-integer-types into https://chromium.googlesource.com/chromium/src/+/master/docs/security/mojo.md.