use fmt; export type value = f64; export fn print_value(val: value) void = { fmt::printf("{}", val)!; };