#![allow(non_upper_case_globals)] #![allow(non_camel_case_types)] #![allow(non_snake_case)] #![allow(dead_code)] #![allow(clippy::unused_unit)] include!(concat!(env!("OUT_DIR"), "/sane.rs"));