#[builtin(Hello)]
fn c_hello() -> int {}

fn main() {
    c_hello();
}