[INFO] crate clingo-sys 0.3.0 is already in cache
[INFO] extracting crate clingo-sys 0.3.0 into work/ex/clippy-test-run/sources/stable/reg/clingo-sys/0.3.0
[INFO] extracting crate clingo-sys 0.3.0 into work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/reg/clingo-sys/0.3.0
[INFO] validating manifest of clingo-sys-0.3.0 on toolchain stable
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of clingo-sys-0.3.0 on toolchain stable+rustflags=-Dclippy::into_iter_on_array
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing clingo-sys-0.3.0
[INFO] finished frobbing clingo-sys-0.3.0
[INFO] frobbed toml for clingo-sys-0.3.0 written to work/ex/clippy-test-run/sources/stable/reg/clingo-sys/0.3.0/Cargo.toml
[INFO] started frobbing clingo-sys-0.3.0
[INFO] finished frobbing clingo-sys-0.3.0
[INFO] frobbed toml for clingo-sys-0.3.0 written to work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/reg/clingo-sys/0.3.0/Cargo.toml
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] linting clingo-sys-0.3.0 against stable for clippy-test-run
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/clippy-test-run/worker-2/stable:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/clippy-test-run/sources/stable/reg/clingo-sys/0.3.0:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+stable" "clippy" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 2926c2b8a9948718045ca83b47cfcb8d5fadf5078bbd5b9c259fbd239586f794
[INFO] running `"docker" "start" "-a" "2926c2b8a9948718045ca83b47cfcb8d5fadf5078bbd5b9c259fbd239586f794"`
[INFO] [stderr]    Compiling clingo-sys v0.3.0 (/opt/crater/workdir)
[INFO] [stderr] warning: use of deprecated item 'gcc::Build': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]   --> build.rs:30:5
[INFO] [stderr]    |
[INFO] [stderr] 30 |     gcc::Build::new()
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(deprecated)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'gcc::Build': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]   --> build.rs:51:5
[INFO] [stderr]    |
[INFO] [stderr] 51 |     gcc::Build::new()
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'gcc::Build': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]   --> build.rs:92:5
[INFO] [stderr]    |
[INFO] [stderr] 92 |     gcc::Build::new()
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'gcc::Build': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]    --> build.rs:132:5
[INFO] [stderr]     |
[INFO] [stderr] 132 |     gcc::Build::new()
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'gcc::Build': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]    --> build.rs:155:5
[INFO] [stderr]     |
[INFO] [stderr] 155 |     gcc::Build::new()
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'gcc::Build::new': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]   --> build.rs:30:5
[INFO] [stderr]    |
[INFO] [stderr] 30 |     gcc::Build::new()
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'gcc::Build::new': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]   --> build.rs:51:5
[INFO] [stderr]    |
[INFO] [stderr] 51 |     gcc::Build::new()
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'gcc::Build::new': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]   --> build.rs:92:5
[INFO] [stderr]    |
[INFO] [stderr] 92 |     gcc::Build::new()
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'gcc::Build::new': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]    --> build.rs:132:5
[INFO] [stderr]     |
[INFO] [stderr] 132 |     gcc::Build::new()
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'gcc::Build::new': crate has been renamed to `cc`, the `gcc` name is not maintained
[INFO] [stderr]    --> build.rs:155:5
[INFO] [stderr]     |
[INFO] [stderr] 155 |     gcc::Build::new()
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:11:53
[INFO] [stderr]    |
[INFO] [stderr] 11 | pub const _POSIX_C_SOURCE: ::std::os::raw::c_uint = 200809;
[INFO] [stderr]    |                                                     ^^^^^^ help: consider: `200_809`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::unreadable_literal)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:26:56
[INFO] [stderr]    |
[INFO] [stderr] 26 | pub const __STDC_ISO_10646__: ::std::os::raw::c_uint = 201706;
[INFO] [stderr]    |                                                        ^^^^^^ help: consider: `201_706`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:52:47
[INFO] [stderr]    |
[INFO] [stderr] 52 | pub const INT32_MIN: ::std::os::raw::c_int = -2147483648;
[INFO] [stderr]    |                                               ^^^^^^^^^^ help: consider: `2_147_483_648`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:55:47
[INFO] [stderr]    |
[INFO] [stderr] 55 | pub const INT32_MAX: ::std::os::raw::c_uint = 2147483647;
[INFO] [stderr]    |                                               ^^^^^^^^^^ help: consider: `2_147_483_647`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:58:48
[INFO] [stderr]    |
[INFO] [stderr] 58 | pub const UINT32_MAX: ::std::os::raw::c_uint = 4294967295;
[INFO] [stderr]    |                                                ^^^^^^^^^^ help: consider: `4_294_967_295`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:61:53
[INFO] [stderr]    |
[INFO] [stderr] 61 | pub const INT_LEAST32_MIN: ::std::os::raw::c_int = -2147483648;
[INFO] [stderr]    |                                                     ^^^^^^^^^^ help: consider: `2_147_483_648`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:64:53
[INFO] [stderr]    |
[INFO] [stderr] 64 | pub const INT_LEAST32_MAX: ::std::os::raw::c_uint = 2147483647;
[INFO] [stderr]    |                                                     ^^^^^^^^^^ help: consider: `2_147_483_647`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:67:54
[INFO] [stderr]    |
[INFO] [stderr] 67 | pub const UINT_LEAST32_MAX: ::std::os::raw::c_uint = 4294967295;
[INFO] [stderr]    |                                                      ^^^^^^^^^^ help: consider: `4_294_967_295`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:69:57
[INFO] [stderr]    |
[INFO] [stderr] 69 | pub const INT_FAST16_MIN: ::std::os::raw::c_longlong = -9223372036854775808;
[INFO] [stderr]    |                                                         ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_808`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:70:57
[INFO] [stderr]    |
[INFO] [stderr] 70 | pub const INT_FAST32_MIN: ::std::os::raw::c_longlong = -9223372036854775808;
[INFO] [stderr]    |                                                         ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_808`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:72:57
[INFO] [stderr]    |
[INFO] [stderr] 72 | pub const INT_FAST16_MAX: ::std::os::raw::c_ulonglong = 9223372036854775807;
[INFO] [stderr]    |                                                         ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_807`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:73:57
[INFO] [stderr]    |
[INFO] [stderr] 73 | pub const INT_FAST32_MAX: ::std::os::raw::c_ulonglong = 9223372036854775807;
[INFO] [stderr]    |                                                         ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_807`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:77:53
[INFO] [stderr]    |
[INFO] [stderr] 77 | pub const INTPTR_MIN: ::std::os::raw::c_longlong = -9223372036854775808;
[INFO] [stderr]    |                                                     ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_808`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:78:53
[INFO] [stderr]    |
[INFO] [stderr] 78 | pub const INTPTR_MAX: ::std::os::raw::c_ulonglong = 9223372036854775807;
[INFO] [stderr]    |                                                     ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_807`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:80:54
[INFO] [stderr]    |
[INFO] [stderr] 80 | pub const PTRDIFF_MIN: ::std::os::raw::c_longlong = -9223372036854775808;
[INFO] [stderr]    |                                                      ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_808`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:81:54
[INFO] [stderr]    |
[INFO] [stderr] 81 | pub const PTRDIFF_MAX: ::std::os::raw::c_ulonglong = 9223372036854775807;
[INFO] [stderr]    |                                                      ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_807`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:82:52
[INFO] [stderr]    |
[INFO] [stderr] 82 | pub const SIG_ATOMIC_MIN: ::std::os::raw::c_int = -2147483648;
[INFO] [stderr]    |                                                    ^^^^^^^^^^ help: consider: `2_147_483_648`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:83:52
[INFO] [stderr]    |
[INFO] [stderr] 83 | pub const SIG_ATOMIC_MAX: ::std::os::raw::c_uint = 2147483647;
[INFO] [stderr]    |                                                    ^^^^^^^^^^ help: consider: `2_147_483_647`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:86:46
[INFO] [stderr]    |
[INFO] [stderr] 86 | pub const WINT_MAX: ::std::os::raw::c_uint = 4294967295;
[INFO] [stderr]    |                                              ^^^^^^^^^^ help: consider: `4_294_967_295`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: Constants have by default a `'static` lifetime
[INFO] [stderr]   --> bindings.rs:93:28
[INFO] [stderr]    |
[INFO] [stderr] 93 | pub const CLINGO_VERSION: &'static [u8; 6usize] = b"5.2.1\0";
[INFO] [stderr]    |                           -^^^^^^^------------- help: consider removing `'static`: `&[u8; 6usize]`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::const_static_lifetime)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#const_static_lifetime
[INFO] [stderr] 
[INFO] [stderr] warning: redundant linker flag specified for library `stdc++`
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:11:53
[INFO] [stderr]    |
[INFO] [stderr] 11 | pub const _POSIX_C_SOURCE: ::std::os::raw::c_uint = 200809;
[INFO] [stderr]    |                                                     ^^^^^^ help: consider: `200_809`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::unreadable_literal)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:26:56
[INFO] [stderr]    |
[INFO] [stderr] 26 | pub const __STDC_ISO_10646__: ::std::os::raw::c_uint = 201706;
[INFO] [stderr]    |                                                        ^^^^^^ help: consider: `201_706`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:52:47
[INFO] [stderr]    |
[INFO] [stderr] 52 | pub const INT32_MIN: ::std::os::raw::c_int = -2147483648;
[INFO] [stderr]    |                                               ^^^^^^^^^^ help: consider: `2_147_483_648`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:55:47
[INFO] [stderr]    |
[INFO] [stderr] 55 | pub const INT32_MAX: ::std::os::raw::c_uint = 2147483647;
[INFO] [stderr]    |                                               ^^^^^^^^^^ help: consider: `2_147_483_647`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:58:48
[INFO] [stderr]    |
[INFO] [stderr] 58 | pub const UINT32_MAX: ::std::os::raw::c_uint = 4294967295;
[INFO] [stderr]    |                                                ^^^^^^^^^^ help: consider: `4_294_967_295`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:61:53
[INFO] [stderr]    |
[INFO] [stderr] 61 | pub const INT_LEAST32_MIN: ::std::os::raw::c_int = -2147483648;
[INFO] [stderr]    |                                                     ^^^^^^^^^^ help: consider: `2_147_483_648`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:64:53
[INFO] [stderr]    |
[INFO] [stderr] 64 | pub const INT_LEAST32_MAX: ::std::os::raw::c_uint = 2147483647;
[INFO] [stderr]    |                                                     ^^^^^^^^^^ help: consider: `2_147_483_647`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:67:54
[INFO] [stderr]    |
[INFO] [stderr] 67 | pub const UINT_LEAST32_MAX: ::std::os::raw::c_uint = 4294967295;
[INFO] [stderr]    |                                                      ^^^^^^^^^^ help: consider: `4_294_967_295`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:69:57
[INFO] [stderr]    |
[INFO] [stderr] 69 | pub const INT_FAST16_MIN: ::std::os::raw::c_longlong = -9223372036854775808;
[INFO] [stderr]    |                                                         ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_808`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:70:57
[INFO] [stderr]    |
[INFO] [stderr] 70 | pub const INT_FAST32_MIN: ::std::os::raw::c_longlong = -9223372036854775808;
[INFO] [stderr]    |                                                         ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_808`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:72:57
[INFO] [stderr]    |
[INFO] [stderr] 72 | pub const INT_FAST16_MAX: ::std::os::raw::c_ulonglong = 9223372036854775807;
[INFO] [stderr]    |                                                         ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_807`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:73:57
[INFO] [stderr]    |
[INFO] [stderr] 73 | pub const INT_FAST32_MAX: ::std::os::raw::c_ulonglong = 9223372036854775807;
[INFO] [stderr]    |                                                         ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_807`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:77:53
[INFO] [stderr]    |
[INFO] [stderr] 77 | pub const INTPTR_MIN: ::std::os::raw::c_longlong = -9223372036854775808;
[INFO] [stderr]    |                                                     ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_808`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:78:53
[INFO] [stderr]    |
[INFO] [stderr] 78 | pub const INTPTR_MAX: ::std::os::raw::c_ulonglong = 9223372036854775807;
[INFO] [stderr]    |                                                     ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_807`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:80:54
[INFO] [stderr]    |
[INFO] [stderr] 80 | pub const PTRDIFF_MIN: ::std::os::raw::c_longlong = -9223372036854775808;
[INFO] [stderr]    |                                                      ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_808`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:81:54
[INFO] [stderr]    |
[INFO] [stderr] 81 | pub const PTRDIFF_MAX: ::std::os::raw::c_ulonglong = 9223372036854775807;
[INFO] [stderr]    |                                                      ^^^^^^^^^^^^^^^^^^^ help: consider: `9_223_372_036_854_775_807`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:82:52
[INFO] [stderr]    |
[INFO] [stderr] 82 | pub const SIG_ATOMIC_MIN: ::std::os::raw::c_int = -2147483648;
[INFO] [stderr]    |                                                    ^^^^^^^^^^ help: consider: `2_147_483_648`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:83:52
[INFO] [stderr]    |
[INFO] [stderr] 83 | pub const SIG_ATOMIC_MAX: ::std::os::raw::c_uint = 2147483647;
[INFO] [stderr]    |                                                    ^^^^^^^^^^ help: consider: `2_147_483_647`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: long literal lacking separators
[INFO] [stderr]   --> bindings.rs:86:46
[INFO] [stderr]    |
[INFO] [stderr] 86 | pub const WINT_MAX: ::std::os::raw::c_uint = 4294967295;
[INFO] [stderr]    |                                              ^^^^^^^^^^ help: consider: `4_294_967_295`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unreadable_literal
[INFO] [stderr] 
[INFO] [stderr] warning: Constants have by default a `'static` lifetime
[INFO] [stderr]   --> bindings.rs:93:28
[INFO] [stderr]    |
[INFO] [stderr] 93 | pub const CLINGO_VERSION: &'static [u8; 6usize] = b"5.2.1\0";
[INFO] [stderr]    |                           -^^^^^^^------------- help: consider removing `'static`: `&[u8; 6usize]`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::const_static_lifetime)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#const_static_lifetime
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:110:21
[INFO] [stderr]     |
[INFO] [stderr] 110 |         unsafe { &(*(0 as *const max_align_t)).__clang_max_align_nonce1 as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(clippy::zero_ptr)] on by default
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:120:21
[INFO] [stderr]     |
[INFO] [stderr] 120 |         unsafe { &(*(0 as *const max_align_t)).__clang_max_align_nonce2 as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:174:21
[INFO] [stderr]     |
[INFO] [stderr] 174 |         unsafe { &(*(0 as *const __fsid_t)).__val as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:359:21
[INFO] [stderr]     |
[INFO] [stderr] 359 |         unsafe { &(*(0 as *const clingo_location)).begin_file as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:369:21
[INFO] [stderr]     |
[INFO] [stderr] 369 |         unsafe { &(*(0 as *const clingo_location)).end_file as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:379:21
[INFO] [stderr]     |
[INFO] [stderr] 379 |         unsafe { &(*(0 as *const clingo_location)).begin_line as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:389:21
[INFO] [stderr]     |
[INFO] [stderr] 389 |         unsafe { &(*(0 as *const clingo_location)).end_line as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:399:21
[INFO] [stderr]     |
[INFO] [stderr] 399 |         unsafe { &(*(0 as *const clingo_location)).begin_column as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:409:21
[INFO] [stderr]     |
[INFO] [stderr] 409 |         unsafe { &(*(0 as *const clingo_location)).end_column as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:554:21
[INFO] [stderr]     |
[INFO] [stderr] 554 |         unsafe { &(*(0 as *const clingo_symbolic_literal)).symbol as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]    --> bindings.rs:564:21
[INFO] [stderr]     |
[INFO] [stderr] 564 |         unsafe { &(*(0 as *const clingo_symbolic_literal)).positive as *const _ as usize },
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:2430:21
[INFO] [stderr]      |
[INFO] [stderr] 2430 |         unsafe { &(*(0 as *const clingo_propagator)).init as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:2440:21
[INFO] [stderr]      |
[INFO] [stderr] 2440 |         unsafe { &(*(0 as *const clingo_propagator)).propagate as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:2450:21
[INFO] [stderr]      |
[INFO] [stderr] 2450 |         unsafe { &(*(0 as *const clingo_propagator)).undo as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:2460:21
[INFO] [stderr]      |
[INFO] [stderr] 2460 |         unsafe { &(*(0 as *const clingo_propagator)).check as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:2510:21
[INFO] [stderr]      |
[INFO] [stderr] 2510 |         unsafe { &(*(0 as *const clingo_weighted_literal)).literal as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:2520:21
[INFO] [stderr]      |
[INFO] [stderr] 2520 |         unsafe { &(*(0 as *const clingo_weighted_literal)).weight as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3181:21
[INFO] [stderr]      |
[INFO] [stderr] 3181 |         unsafe { &(*(0 as *const clingo_ast_term__bindgen_ty_1)).symbol as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3191:21
[INFO] [stderr]      |
[INFO] [stderr] 3191 |         unsafe { &(*(0 as *const clingo_ast_term__bindgen_ty_1)).variable as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3201:21
[INFO] [stderr]      |
[INFO] [stderr] 3201 |         unsafe { &(*(0 as *const clingo_ast_term__bindgen_ty_1)).unary_operation as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3212:16
[INFO] [stderr]      |
[INFO] [stderr] 3212 |             &(*(0 as *const clingo_ast_term__bindgen_ty_1)).binary_operation as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3223:21
[INFO] [stderr]      |
[INFO] [stderr] 3223 |         unsafe { &(*(0 as *const clingo_ast_term__bindgen_ty_1)).interval as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3233:21
[INFO] [stderr]      |
[INFO] [stderr] 3233 |         unsafe { &(*(0 as *const clingo_ast_term__bindgen_ty_1)).function as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3244:16
[INFO] [stderr]      |
[INFO] [stderr] 3244 |             &(*(0 as *const clingo_ast_term__bindgen_ty_1)).external_function as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3255:21
[INFO] [stderr]      |
[INFO] [stderr] 3255 |         unsafe { &(*(0 as *const clingo_ast_term__bindgen_ty_1)).pool as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3278:21
[INFO] [stderr]      |
[INFO] [stderr] 3278 |         unsafe { &(*(0 as *const clingo_ast_term)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3288:21
[INFO] [stderr]      |
[INFO] [stderr] 3288 |         unsafe { &(*(0 as *const clingo_ast_term)).type_ as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3323:21
[INFO] [stderr]      |
[INFO] [stderr] 3323 |         unsafe { &(*(0 as *const clingo_ast_unary_operation)).unary_operator as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3333:21
[INFO] [stderr]      |
[INFO] [stderr] 3333 |         unsafe { &(*(0 as *const clingo_ast_unary_operation)).argument as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3374:21
[INFO] [stderr]      |
[INFO] [stderr] 3374 |         unsafe { &(*(0 as *const clingo_ast_binary_operation)).binary_operator as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3384:21
[INFO] [stderr]      |
[INFO] [stderr] 3384 |         unsafe { &(*(0 as *const clingo_ast_binary_operation)).left as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3394:21
[INFO] [stderr]      |
[INFO] [stderr] 3394 |         unsafe { &(*(0 as *const clingo_ast_binary_operation)).right as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3423:21
[INFO] [stderr]      |
[INFO] [stderr] 3423 |         unsafe { &(*(0 as *const clingo_ast_interval)).left as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3433:21
[INFO] [stderr]      |
[INFO] [stderr] 3433 |         unsafe { &(*(0 as *const clingo_ast_interval)).right as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3463:21
[INFO] [stderr]      |
[INFO] [stderr] 3463 |         unsafe { &(*(0 as *const clingo_ast_function)).name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3473:21
[INFO] [stderr]      |
[INFO] [stderr] 3473 |         unsafe { &(*(0 as *const clingo_ast_function)).arguments as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3483:21
[INFO] [stderr]      |
[INFO] [stderr] 3483 |         unsafe { &(*(0 as *const clingo_ast_function)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3512:21
[INFO] [stderr]      |
[INFO] [stderr] 3512 |         unsafe { &(*(0 as *const clingo_ast_pool)).arguments as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3522:21
[INFO] [stderr]      |
[INFO] [stderr] 3522 |         unsafe { &(*(0 as *const clingo_ast_pool)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3552:21
[INFO] [stderr]      |
[INFO] [stderr] 3552 |         unsafe { &(*(0 as *const clingo_ast_csp_product_term)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3562:21
[INFO] [stderr]      |
[INFO] [stderr] 3562 |         unsafe { &(*(0 as *const clingo_ast_csp_product_term)).coefficient as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3572:21
[INFO] [stderr]      |
[INFO] [stderr] 3572 |         unsafe { &(*(0 as *const clingo_ast_csp_product_term)).variable as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3603:21
[INFO] [stderr]      |
[INFO] [stderr] 3603 |         unsafe { &(*(0 as *const clingo_ast_csp_sum_term)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3613:21
[INFO] [stderr]      |
[INFO] [stderr] 3613 |         unsafe { &(*(0 as *const clingo_ast_csp_sum_term)).terms as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3623:21
[INFO] [stderr]      |
[INFO] [stderr] 3623 |         unsafe { &(*(0 as *const clingo_ast_csp_sum_term)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3653:21
[INFO] [stderr]      |
[INFO] [stderr] 3653 |         unsafe { &(*(0 as *const clingo_ast_csp_guard)).comparison as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3663:21
[INFO] [stderr]      |
[INFO] [stderr] 3663 |         unsafe { &(*(0 as *const clingo_ast_csp_guard)).term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3694:21
[INFO] [stderr]      |
[INFO] [stderr] 3694 |         unsafe { &(*(0 as *const clingo_ast_csp_literal)).term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3704:21
[INFO] [stderr]      |
[INFO] [stderr] 3704 |         unsafe { &(*(0 as *const clingo_ast_csp_literal)).guards as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3714:21
[INFO] [stderr]      |
[INFO] [stderr] 3714 |         unsafe { &(*(0 as *const clingo_ast_csp_literal)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3744:21
[INFO] [stderr]      |
[INFO] [stderr] 3744 |         unsafe { &(*(0 as *const clingo_ast_id)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3754:21
[INFO] [stderr]      |
[INFO] [stderr] 3754 |         unsafe { &(*(0 as *const clingo_ast_id)).id as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3785:21
[INFO] [stderr]      |
[INFO] [stderr] 3785 |         unsafe { &(*(0 as *const clingo_ast_comparison)).comparison as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3795:21
[INFO] [stderr]      |
[INFO] [stderr] 3795 |         unsafe { &(*(0 as *const clingo_ast_comparison)).left as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3805:21
[INFO] [stderr]      |
[INFO] [stderr] 3805 |         unsafe { &(*(0 as *const clingo_ast_comparison)).right as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3847:21
[INFO] [stderr]      |
[INFO] [stderr] 3847 |         unsafe { &(*(0 as *const clingo_ast_literal__bindgen_ty_1)).boolean as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3857:21
[INFO] [stderr]      |
[INFO] [stderr] 3857 |         unsafe { &(*(0 as *const clingo_ast_literal__bindgen_ty_1)).symbol as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3867:21
[INFO] [stderr]      |
[INFO] [stderr] 3867 |         unsafe { &(*(0 as *const clingo_ast_literal__bindgen_ty_1)).comparison as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3877:21
[INFO] [stderr]      |
[INFO] [stderr] 3877 |         unsafe { &(*(0 as *const clingo_ast_literal__bindgen_ty_1)).csp_literal as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3900:21
[INFO] [stderr]      |
[INFO] [stderr] 3900 |         unsafe { &(*(0 as *const clingo_ast_literal)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3910:21
[INFO] [stderr]      |
[INFO] [stderr] 3910 |         unsafe { &(*(0 as *const clingo_ast_literal)).sign as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3920:21
[INFO] [stderr]      |
[INFO] [stderr] 3920 |         unsafe { &(*(0 as *const clingo_ast_literal)).type_ as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3957:21
[INFO] [stderr]      |
[INFO] [stderr] 3957 |         unsafe { &(*(0 as *const clingo_ast_aggregate_guard)).comparison as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3967:21
[INFO] [stderr]      |
[INFO] [stderr] 3967 |         unsafe { &(*(0 as *const clingo_ast_aggregate_guard)).term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:3998:21
[INFO] [stderr]      |
[INFO] [stderr] 3998 |         unsafe { &(*(0 as *const clingo_ast_conditional_literal)).literal as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4008:21
[INFO] [stderr]      |
[INFO] [stderr] 4008 |         unsafe { &(*(0 as *const clingo_ast_conditional_literal)).condition as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4018:21
[INFO] [stderr]      |
[INFO] [stderr] 4018 |         unsafe { &(*(0 as *const clingo_ast_conditional_literal)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4050:21
[INFO] [stderr]      |
[INFO] [stderr] 4050 |         unsafe { &(*(0 as *const clingo_ast_aggregate)).elements as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4060:21
[INFO] [stderr]      |
[INFO] [stderr] 4060 |         unsafe { &(*(0 as *const clingo_ast_aggregate)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4070:21
[INFO] [stderr]      |
[INFO] [stderr] 4070 |         unsafe { &(*(0 as *const clingo_ast_aggregate)).left_guard as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4080:21
[INFO] [stderr]      |
[INFO] [stderr] 4080 |         unsafe { &(*(0 as *const clingo_ast_aggregate)).right_guard as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4115:21
[INFO] [stderr]      |
[INFO] [stderr] 4115 |         unsafe { &(*(0 as *const clingo_ast_body_aggregate_element)).tuple as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4125:21
[INFO] [stderr]      |
[INFO] [stderr] 4125 |         unsafe { &(*(0 as *const clingo_ast_body_aggregate_element)).tuple_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4135:21
[INFO] [stderr]      |
[INFO] [stderr] 4135 |         unsafe { &(*(0 as *const clingo_ast_body_aggregate_element)).condition as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4146:16
[INFO] [stderr]      |
[INFO] [stderr] 4146 |             &(*(0 as *const clingo_ast_body_aggregate_element)).condition_size as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4180:21
[INFO] [stderr]      |
[INFO] [stderr] 4180 |         unsafe { &(*(0 as *const clingo_ast_body_aggregate)).function as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4190:21
[INFO] [stderr]      |
[INFO] [stderr] 4190 |         unsafe { &(*(0 as *const clingo_ast_body_aggregate)).elements as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4200:21
[INFO] [stderr]      |
[INFO] [stderr] 4200 |         unsafe { &(*(0 as *const clingo_ast_body_aggregate)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4210:21
[INFO] [stderr]      |
[INFO] [stderr] 4210 |         unsafe { &(*(0 as *const clingo_ast_body_aggregate)).left_guard as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4220:21
[INFO] [stderr]      |
[INFO] [stderr] 4220 |         unsafe { &(*(0 as *const clingo_ast_body_aggregate)).right_guard as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4254:21
[INFO] [stderr]      |
[INFO] [stderr] 4254 |         unsafe { &(*(0 as *const clingo_ast_head_aggregate_element)).tuple as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4264:21
[INFO] [stderr]      |
[INFO] [stderr] 4264 |         unsafe { &(*(0 as *const clingo_ast_head_aggregate_element)).tuple_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4275:16
[INFO] [stderr]      |
[INFO] [stderr] 4275 |             &(*(0 as *const clingo_ast_head_aggregate_element)).conditional_literal as *const _ as
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4310:21
[INFO] [stderr]      |
[INFO] [stderr] 4310 |         unsafe { &(*(0 as *const clingo_ast_head_aggregate)).function as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4320:21
[INFO] [stderr]      |
[INFO] [stderr] 4320 |         unsafe { &(*(0 as *const clingo_ast_head_aggregate)).elements as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4330:21
[INFO] [stderr]      |
[INFO] [stderr] 4330 |         unsafe { &(*(0 as *const clingo_ast_head_aggregate)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4340:21
[INFO] [stderr]      |
[INFO] [stderr] 4340 |         unsafe { &(*(0 as *const clingo_ast_head_aggregate)).left_guard as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4350:21
[INFO] [stderr]      |
[INFO] [stderr] 4350 |         unsafe { &(*(0 as *const clingo_ast_head_aggregate)).right_guard as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4380:21
[INFO] [stderr]      |
[INFO] [stderr] 4380 |         unsafe { &(*(0 as *const clingo_ast_disjunction)).elements as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4390:21
[INFO] [stderr]      |
[INFO] [stderr] 4390 |         unsafe { &(*(0 as *const clingo_ast_disjunction)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4424:21
[INFO] [stderr]      |
[INFO] [stderr] 4424 |         unsafe { &(*(0 as *const clingo_ast_disjoint_element)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4434:21
[INFO] [stderr]      |
[INFO] [stderr] 4434 |         unsafe { &(*(0 as *const clingo_ast_disjoint_element)).tuple as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4444:21
[INFO] [stderr]      |
[INFO] [stderr] 4444 |         unsafe { &(*(0 as *const clingo_ast_disjoint_element)).tuple_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4454:21
[INFO] [stderr]      |
[INFO] [stderr] 4454 |         unsafe { &(*(0 as *const clingo_ast_disjoint_element)).term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4464:21
[INFO] [stderr]      |
[INFO] [stderr] 4464 |         unsafe { &(*(0 as *const clingo_ast_disjoint_element)).condition as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4474:21
[INFO] [stderr]      |
[INFO] [stderr] 4474 |         unsafe { &(*(0 as *const clingo_ast_disjoint_element)).condition_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4504:21
[INFO] [stderr]      |
[INFO] [stderr] 4504 |         unsafe { &(*(0 as *const clingo_ast_disjoint)).elements as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4514:21
[INFO] [stderr]      |
[INFO] [stderr] 4514 |         unsafe { &(*(0 as *const clingo_ast_disjoint)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4564:21
[INFO] [stderr]      |
[INFO] [stderr] 4564 |         unsafe { &(*(0 as *const clingo_ast_theory_term__bindgen_ty_1)).symbol as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4574:21
[INFO] [stderr]      |
[INFO] [stderr] 4574 |         unsafe { &(*(0 as *const clingo_ast_theory_term__bindgen_ty_1)).variable as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4584:21
[INFO] [stderr]      |
[INFO] [stderr] 4584 |         unsafe { &(*(0 as *const clingo_ast_theory_term__bindgen_ty_1)).tuple as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4594:21
[INFO] [stderr]      |
[INFO] [stderr] 4594 |         unsafe { &(*(0 as *const clingo_ast_theory_term__bindgen_ty_1)).list as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4604:21
[INFO] [stderr]      |
[INFO] [stderr] 4604 |         unsafe { &(*(0 as *const clingo_ast_theory_term__bindgen_ty_1)).set as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4614:21
[INFO] [stderr]      |
[INFO] [stderr] 4614 |         unsafe { &(*(0 as *const clingo_ast_theory_term__bindgen_ty_1)).function as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4625:16
[INFO] [stderr]      |
[INFO] [stderr] 4625 |             &(*(0 as *const clingo_ast_theory_term__bindgen_ty_1)).unparsed_term as *const _ as
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4650:21
[INFO] [stderr]      |
[INFO] [stderr] 4650 |         unsafe { &(*(0 as *const clingo_ast_theory_term)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4660:21
[INFO] [stderr]      |
[INFO] [stderr] 4660 |         unsafe { &(*(0 as *const clingo_ast_theory_term)).type_ as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4690:21
[INFO] [stderr]      |
[INFO] [stderr] 4690 |         unsafe { &(*(0 as *const clingo_ast_theory_term_array)).terms as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4700:21
[INFO] [stderr]      |
[INFO] [stderr] 4700 |         unsafe { &(*(0 as *const clingo_ast_theory_term_array)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4730:21
[INFO] [stderr]      |
[INFO] [stderr] 4730 |         unsafe { &(*(0 as *const clingo_ast_theory_function)).name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4740:21
[INFO] [stderr]      |
[INFO] [stderr] 4740 |         unsafe { &(*(0 as *const clingo_ast_theory_function)).arguments as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4750:21
[INFO] [stderr]      |
[INFO] [stderr] 4750 |         unsafe { &(*(0 as *const clingo_ast_theory_function)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4787:16
[INFO] [stderr]      |
[INFO] [stderr] 4787 |             &(*(0 as *const clingo_ast_theory_unparsed_term_element)).operators as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4798:21
[INFO] [stderr]      |
[INFO] [stderr] 4798 |         unsafe { &(*(0 as *const clingo_ast_theory_unparsed_term_element)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4808:21
[INFO] [stderr]      |
[INFO] [stderr] 4808 |         unsafe { &(*(0 as *const clingo_ast_theory_unparsed_term_element)).term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4838:21
[INFO] [stderr]      |
[INFO] [stderr] 4838 |         unsafe { &(*(0 as *const clingo_ast_theory_unparsed_term)).elements as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4848:21
[INFO] [stderr]      |
[INFO] [stderr] 4848 |         unsafe { &(*(0 as *const clingo_ast_theory_unparsed_term)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4879:21
[INFO] [stderr]      |
[INFO] [stderr] 4879 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_element)).tuple as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4889:21
[INFO] [stderr]      |
[INFO] [stderr] 4889 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_element)).tuple_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4899:21
[INFO] [stderr]      |
[INFO] [stderr] 4899 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_element)).condition as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4909:21
[INFO] [stderr]      |
[INFO] [stderr] 4909 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_element)).condition_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4939:21
[INFO] [stderr]      |
[INFO] [stderr] 4939 |         unsafe { &(*(0 as *const clingo_ast_theory_guard)).operator_name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4949:21
[INFO] [stderr]      |
[INFO] [stderr] 4949 |         unsafe { &(*(0 as *const clingo_ast_theory_guard)).term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4981:21
[INFO] [stderr]      |
[INFO] [stderr] 4981 |         unsafe { &(*(0 as *const clingo_ast_theory_atom)).term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:4991:21
[INFO] [stderr]      |
[INFO] [stderr] 4991 |         unsafe { &(*(0 as *const clingo_ast_theory_atom)).elements as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5001:21
[INFO] [stderr]      |
[INFO] [stderr] 5001 |         unsafe { &(*(0 as *const clingo_ast_theory_atom)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5011:21
[INFO] [stderr]      |
[INFO] [stderr] 5011 |         unsafe { &(*(0 as *const clingo_ast_theory_atom)).guard as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5056:21
[INFO] [stderr]      |
[INFO] [stderr] 5056 |         unsafe { &(*(0 as *const clingo_ast_head_literal__bindgen_ty_1)).literal as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5067:16
[INFO] [stderr]      |
[INFO] [stderr] 5067 |             &(*(0 as *const clingo_ast_head_literal__bindgen_ty_1)).disjunction as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5079:16
[INFO] [stderr]      |
[INFO] [stderr] 5079 |             &(*(0 as *const clingo_ast_head_literal__bindgen_ty_1)).aggregate as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5091:16
[INFO] [stderr]      |
[INFO] [stderr] 5091 |             &(*(0 as *const clingo_ast_head_literal__bindgen_ty_1)).head_aggregate as *const _ as
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5104:16
[INFO] [stderr]      |
[INFO] [stderr] 5104 |             &(*(0 as *const clingo_ast_head_literal__bindgen_ty_1)).theory_atom as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5128:21
[INFO] [stderr]      |
[INFO] [stderr] 5128 |         unsafe { &(*(0 as *const clingo_ast_head_literal)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5138:21
[INFO] [stderr]      |
[INFO] [stderr] 5138 |         unsafe { &(*(0 as *const clingo_ast_head_literal)).type_ as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5185:21
[INFO] [stderr]      |
[INFO] [stderr] 5185 |         unsafe { &(*(0 as *const clingo_ast_body_literal__bindgen_ty_1)).literal as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5196:16
[INFO] [stderr]      |
[INFO] [stderr] 5196 |             &(*(0 as *const clingo_ast_body_literal__bindgen_ty_1)).conditional as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5208:16
[INFO] [stderr]      |
[INFO] [stderr] 5208 |             &(*(0 as *const clingo_ast_body_literal__bindgen_ty_1)).aggregate as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5220:16
[INFO] [stderr]      |
[INFO] [stderr] 5220 |             &(*(0 as *const clingo_ast_body_literal__bindgen_ty_1)).body_aggregate as *const _ as
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5233:16
[INFO] [stderr]      |
[INFO] [stderr] 5233 |             &(*(0 as *const clingo_ast_body_literal__bindgen_ty_1)).theory_atom as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5245:16
[INFO] [stderr]      |
[INFO] [stderr] 5245 |             &(*(0 as *const clingo_ast_body_literal__bindgen_ty_1)).disjoint as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5269:21
[INFO] [stderr]      |
[INFO] [stderr] 5269 |         unsafe { &(*(0 as *const clingo_ast_body_literal)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5279:21
[INFO] [stderr]      |
[INFO] [stderr] 5279 |         unsafe { &(*(0 as *const clingo_ast_body_literal)).sign as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5289:21
[INFO] [stderr]      |
[INFO] [stderr] 5289 |         unsafe { &(*(0 as *const clingo_ast_body_literal)).type_ as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5333:16
[INFO] [stderr]      |
[INFO] [stderr] 5333 |             &(*(0 as *const clingo_ast_theory_operator_definition)).location as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5344:21
[INFO] [stderr]      |
[INFO] [stderr] 5344 |         unsafe { &(*(0 as *const clingo_ast_theory_operator_definition)).name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5355:16
[INFO] [stderr]      |
[INFO] [stderr] 5355 |             &(*(0 as *const clingo_ast_theory_operator_definition)).priority as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5366:21
[INFO] [stderr]      |
[INFO] [stderr] 5366 |         unsafe { &(*(0 as *const clingo_ast_theory_operator_definition)).type_ as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5401:21
[INFO] [stderr]      |
[INFO] [stderr] 5401 |         unsafe { &(*(0 as *const clingo_ast_theory_term_definition)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5411:21
[INFO] [stderr]      |
[INFO] [stderr] 5411 |         unsafe { &(*(0 as *const clingo_ast_theory_term_definition)).name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5421:21
[INFO] [stderr]      |
[INFO] [stderr] 5421 |         unsafe { &(*(0 as *const clingo_ast_theory_term_definition)).operators as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5431:21
[INFO] [stderr]      |
[INFO] [stderr] 5431 |         unsafe { &(*(0 as *const clingo_ast_theory_term_definition)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5465:21
[INFO] [stderr]      |
[INFO] [stderr] 5465 |         unsafe { &(*(0 as *const clingo_ast_theory_guard_definition)).term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5475:21
[INFO] [stderr]      |
[INFO] [stderr] 5475 |         unsafe { &(*(0 as *const clingo_ast_theory_guard_definition)).operators as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5485:21
[INFO] [stderr]      |
[INFO] [stderr] 5485 |         unsafe { &(*(0 as *const clingo_ast_theory_guard_definition)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5528:21
[INFO] [stderr]      |
[INFO] [stderr] 5528 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_definition)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5538:21
[INFO] [stderr]      |
[INFO] [stderr] 5538 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_definition)).type_ as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5548:21
[INFO] [stderr]      |
[INFO] [stderr] 5548 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_definition)).name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5558:21
[INFO] [stderr]      |
[INFO] [stderr] 5558 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_definition)).arity as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5568:21
[INFO] [stderr]      |
[INFO] [stderr] 5568 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_definition)).elements as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5578:21
[INFO] [stderr]      |
[INFO] [stderr] 5578 |         unsafe { &(*(0 as *const clingo_ast_theory_atom_definition)).guard as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5611:21
[INFO] [stderr]      |
[INFO] [stderr] 5611 |         unsafe { &(*(0 as *const clingo_ast_theory_definition)).name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5621:21
[INFO] [stderr]      |
[INFO] [stderr] 5621 |         unsafe { &(*(0 as *const clingo_ast_theory_definition)).terms as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5631:21
[INFO] [stderr]      |
[INFO] [stderr] 5631 |         unsafe { &(*(0 as *const clingo_ast_theory_definition)).terms_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5641:21
[INFO] [stderr]      |
[INFO] [stderr] 5641 |         unsafe { &(*(0 as *const clingo_ast_theory_definition)).atoms as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5651:21
[INFO] [stderr]      |
[INFO] [stderr] 5651 |         unsafe { &(*(0 as *const clingo_ast_theory_definition)).atoms_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5682:21
[INFO] [stderr]      |
[INFO] [stderr] 5682 |         unsafe { &(*(0 as *const clingo_ast_rule)).head as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5692:21
[INFO] [stderr]      |
[INFO] [stderr] 5692 |         unsafe { &(*(0 as *const clingo_ast_rule)).body as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5702:21
[INFO] [stderr]      |
[INFO] [stderr] 5702 |         unsafe { &(*(0 as *const clingo_ast_rule)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5733:21
[INFO] [stderr]      |
[INFO] [stderr] 5733 |         unsafe { &(*(0 as *const clingo_ast_definition)).name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5743:21
[INFO] [stderr]      |
[INFO] [stderr] 5743 |         unsafe { &(*(0 as *const clingo_ast_definition)).value as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5753:21
[INFO] [stderr]      |
[INFO] [stderr] 5753 |         unsafe { &(*(0 as *const clingo_ast_definition)).is_default as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5783:21
[INFO] [stderr]      |
[INFO] [stderr] 5783 |         unsafe { &(*(0 as *const clingo_ast_show_signature)).signature as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5793:21
[INFO] [stderr]      |
[INFO] [stderr] 5793 |         unsafe { &(*(0 as *const clingo_ast_show_signature)).csp as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5825:21
[INFO] [stderr]      |
[INFO] [stderr] 5825 |         unsafe { &(*(0 as *const clingo_ast_show_term)).term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5835:21
[INFO] [stderr]      |
[INFO] [stderr] 5835 |         unsafe { &(*(0 as *const clingo_ast_show_term)).body as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5845:21
[INFO] [stderr]      |
[INFO] [stderr] 5845 |         unsafe { &(*(0 as *const clingo_ast_show_term)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5855:21
[INFO] [stderr]      |
[INFO] [stderr] 5855 |         unsafe { &(*(0 as *const clingo_ast_show_term)).csp as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5889:21
[INFO] [stderr]      |
[INFO] [stderr] 5889 |         unsafe { &(*(0 as *const clingo_ast_minimize)).weight as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5899:21
[INFO] [stderr]      |
[INFO] [stderr] 5899 |         unsafe { &(*(0 as *const clingo_ast_minimize)).priority as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5909:21
[INFO] [stderr]      |
[INFO] [stderr] 5909 |         unsafe { &(*(0 as *const clingo_ast_minimize)).tuple as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5919:21
[INFO] [stderr]      |
[INFO] [stderr] 5919 |         unsafe { &(*(0 as *const clingo_ast_minimize)).tuple_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5929:21
[INFO] [stderr]      |
[INFO] [stderr] 5929 |         unsafe { &(*(0 as *const clingo_ast_minimize)).body as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5939:21
[INFO] [stderr]      |
[INFO] [stderr] 5939 |         unsafe { &(*(0 as *const clingo_ast_minimize)).body_size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5973:21
[INFO] [stderr]      |
[INFO] [stderr] 5973 |         unsafe { &(*(0 as *const clingo_ast_script)).type_ as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:5983:21
[INFO] [stderr]      |
[INFO] [stderr] 5983 |         unsafe { &(*(0 as *const clingo_ast_script)).code as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6014:21
[INFO] [stderr]      |
[INFO] [stderr] 6014 |         unsafe { &(*(0 as *const clingo_ast_program)).name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6024:21
[INFO] [stderr]      |
[INFO] [stderr] 6024 |         unsafe { &(*(0 as *const clingo_ast_program)).parameters as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6034:21
[INFO] [stderr]      |
[INFO] [stderr] 6034 |         unsafe { &(*(0 as *const clingo_ast_program)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6065:21
[INFO] [stderr]      |
[INFO] [stderr] 6065 |         unsafe { &(*(0 as *const clingo_ast_external)).atom as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6075:21
[INFO] [stderr]      |
[INFO] [stderr] 6075 |         unsafe { &(*(0 as *const clingo_ast_external)).body as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6085:21
[INFO] [stderr]      |
[INFO] [stderr] 6085 |         unsafe { &(*(0 as *const clingo_ast_external)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6117:21
[INFO] [stderr]      |
[INFO] [stderr] 6117 |         unsafe { &(*(0 as *const clingo_ast_edge)).u as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6127:21
[INFO] [stderr]      |
[INFO] [stderr] 6127 |         unsafe { &(*(0 as *const clingo_ast_edge)).v as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6137:21
[INFO] [stderr]      |
[INFO] [stderr] 6137 |         unsafe { &(*(0 as *const clingo_ast_edge)).body as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6147:21
[INFO] [stderr]      |
[INFO] [stderr] 6147 |         unsafe { &(*(0 as *const clingo_ast_edge)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6181:21
[INFO] [stderr]      |
[INFO] [stderr] 6181 |         unsafe { &(*(0 as *const clingo_ast_heuristic)).atom as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6191:21
[INFO] [stderr]      |
[INFO] [stderr] 6191 |         unsafe { &(*(0 as *const clingo_ast_heuristic)).body as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6201:21
[INFO] [stderr]      |
[INFO] [stderr] 6201 |         unsafe { &(*(0 as *const clingo_ast_heuristic)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6211:21
[INFO] [stderr]      |
[INFO] [stderr] 6211 |         unsafe { &(*(0 as *const clingo_ast_heuristic)).bias as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6221:21
[INFO] [stderr]      |
[INFO] [stderr] 6221 |         unsafe { &(*(0 as *const clingo_ast_heuristic)).priority as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6231:21
[INFO] [stderr]      |
[INFO] [stderr] 6231 |         unsafe { &(*(0 as *const clingo_ast_heuristic)).modifier as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6262:21
[INFO] [stderr]      |
[INFO] [stderr] 6262 |         unsafe { &(*(0 as *const clingo_ast_project)).atom as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6272:21
[INFO] [stderr]      |
[INFO] [stderr] 6272 |         unsafe { &(*(0 as *const clingo_ast_project)).body as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6282:21
[INFO] [stderr]      |
[INFO] [stderr] 6282 |         unsafe { &(*(0 as *const clingo_ast_project)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6333:21
[INFO] [stderr]      |
[INFO] [stderr] 6333 |         unsafe { &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).rule as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6343:21
[INFO] [stderr]      |
[INFO] [stderr] 6343 |         unsafe { &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).definition as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6354:16
[INFO] [stderr]      |
[INFO] [stderr] 6354 |             &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).show_signature as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6365:21
[INFO] [stderr]      |
[INFO] [stderr] 6365 |         unsafe { &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).show_term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6375:21
[INFO] [stderr]      |
[INFO] [stderr] 6375 |         unsafe { &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).minimize as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6385:21
[INFO] [stderr]      |
[INFO] [stderr] 6385 |         unsafe { &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).script as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6395:21
[INFO] [stderr]      |
[INFO] [stderr] 6395 |         unsafe { &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).program as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6405:21
[INFO] [stderr]      |
[INFO] [stderr] 6405 |         unsafe { &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).external as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6415:21
[INFO] [stderr]      |
[INFO] [stderr] 6415 |         unsafe { &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).edge as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6425:21
[INFO] [stderr]      |
[INFO] [stderr] 6425 |         unsafe { &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).heuristic as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6436:16
[INFO] [stderr]      |
[INFO] [stderr] 6436 |             &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).project_atom as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6448:16
[INFO] [stderr]      |
[INFO] [stderr] 6448 |             &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).project_signature as *const _ as
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6461:16
[INFO] [stderr]      |
[INFO] [stderr] 6461 |             &(*(0 as *const clingo_ast_statement__bindgen_ty_1)).theory_definition as *const _ as
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6486:21
[INFO] [stderr]      |
[INFO] [stderr] 6486 |         unsafe { &(*(0 as *const clingo_ast_statement)).location as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6496:21
[INFO] [stderr]      |
[INFO] [stderr] 6496 |         unsafe { &(*(0 as *const clingo_ast_statement)).type_ as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6979:21
[INFO] [stderr]      |
[INFO] [stderr] 6979 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).init_program as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6989:21
[INFO] [stderr]      |
[INFO] [stderr] 6989 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).begin_step as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:6999:21
[INFO] [stderr]      |
[INFO] [stderr] 6999 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).end_step as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7009:21
[INFO] [stderr]      |
[INFO] [stderr] 7009 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).rule as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7019:21
[INFO] [stderr]      |
[INFO] [stderr] 7019 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).weight_rule as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7029:21
[INFO] [stderr]      |
[INFO] [stderr] 7029 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).minimize as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7039:21
[INFO] [stderr]      |
[INFO] [stderr] 7039 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).project as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7049:21
[INFO] [stderr]      |
[INFO] [stderr] 7049 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).output_atom as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7059:21
[INFO] [stderr]      |
[INFO] [stderr] 7059 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).output_term as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7069:21
[INFO] [stderr]      |
[INFO] [stderr] 7069 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).output_csp as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7079:21
[INFO] [stderr]      |
[INFO] [stderr] 7079 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).external as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7089:21
[INFO] [stderr]      |
[INFO] [stderr] 7089 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).assume as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7099:21
[INFO] [stderr]      |
[INFO] [stderr] 7099 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).heuristic as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7109:21
[INFO] [stderr]      |
[INFO] [stderr] 7109 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).acyc_edge as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7120:16
[INFO] [stderr]      |
[INFO] [stderr] 7120 |             &(*(0 as *const clingo_ground_program_observer)).theory_term_number as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7132:16
[INFO] [stderr]      |
[INFO] [stderr] 7132 |             &(*(0 as *const clingo_ground_program_observer)).theory_term_string as *const _ as usize
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7144:16
[INFO] [stderr]      |
[INFO] [stderr] 7144 |             &(*(0 as *const clingo_ground_program_observer)).theory_term_compound as *const _ as
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7156:21
[INFO] [stderr]      |
[INFO] [stderr] 7156 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).theory_element as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7166:21
[INFO] [stderr]      |
[INFO] [stderr] 7166 |         unsafe { &(*(0 as *const clingo_ground_program_observer)).theory_atom as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7177:16
[INFO] [stderr]      |
[INFO] [stderr] 7177 |             &(*(0 as *const clingo_ground_program_observer)).theory_atom_with_guard as *const _ as
[INFO] [stderr]      |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7224:21
[INFO] [stderr]      |
[INFO] [stderr] 7224 |         unsafe { &(*(0 as *const clingo_part)).name as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7234:21
[INFO] [stderr]      |
[INFO] [stderr] 7234 |         unsafe { &(*(0 as *const clingo_part)).params as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: `0 as *const _` detected. Consider using `ptr::null()`
[INFO] [stderr]     --> bindings.rs:7244:21
[INFO] [stderr]      |
[INFO] [stderr] 7244 |         unsafe { &(*(0 as *const clingo_part)).size as *const _ as usize },
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#zero_ptr
[INFO] [stderr] 
[INFO] [stderr] warning: redundant linker flag specified for library `stdc++`
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3m 56s
[INFO] running `"docker" "inspect" "2926c2b8a9948718045ca83b47cfcb8d5fadf5078bbd5b9c259fbd239586f794"`
[INFO] running `"docker" "rm" "-f" "2926c2b8a9948718045ca83b47cfcb8d5fadf5078bbd5b9c259fbd239586f794"`
[INFO] [stdout] 2926c2b8a9948718045ca83b47cfcb8d5fadf5078bbd5b9c259fbd239586f794