Function render_probe_lib 

pub fn render_probe_lib(types: &[OpaqueType]) -> String

Render the probe crate’s lib.rs: one #[no_mangle] static usize per quantity.