FFI generator for MicroPython