Call the simulator-generated C using the CFFI