// ------ lib.rs ----------
extern crate libc;
use libc::uint32_t;

#[no_mangle]
pub extern fn addition(a: uint32_t, b: uint32_t) -> uint32_t {
    a + b
}

#[no_mangle]
pub extern fn test_out() {
    print!("HELLO THERE\n");
}

#[allow(dead_code)]
pub extern fn fix_linking_when_not_using_stdlib() { panic!() }