We have this disabled in the cbinggen.toml and should consider enabling it https://github.com/hyperlight-dev/hyperlight/blob/9cb01743a7bf70bdc8513d25f0c68b5f62a9b918/src/hyperlight_guest_capi/cbindgen.toml#L6