//# publish
module 0x42.No {
    // error as there is no native function to link against
    native public made_up(x: u64): u64;
}