#[no_mangle]
pub extern "C" fn crust_get_int() -> i32