Function nova_rt_bytes_concat 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn nova_rt_bytes_concat(
    a: *const NovaStr,
    b: *const NovaStr,
) -> *mut NovaStr

a’s bytes followed by b’s, in a freshly allocated buffer.

Safety

a and b must point to live NovaStrs.