How to use Dart FFI for writing C code