pub extern "C" fn __quantum__rt__double_record_output(
    val: f64,
    tag: *mut i8
)