//ww:run-exit 200
// Source-level runtime half of 913_def_mangle_run.c u64_def.
package main;
def X: u64 = 200u64;
export fn main() i32 = { return X: i32; };