[polyml] Trying to work through the C FFI document