//@ run-pass

#![allow(dead_code)]
//@ compile-flags:-D improper-ctypes

#![allow(improper_ctypes)]

mod libc {
    extern "C" {
        pub fn malloc(size: isize) -> *const u8;
    }
}

pub fn main() {}