This file contains various MicroPython-specific helper functions, so isn't
good fit for lib/libc/.