8 Nov
2025
8 Nov
'25
2:37 a.m.
On Sat, Nov 8, 2025 at 3:30 AM Miguel Ojeda miguel.ojeda.sandonis@gmail.com wrote:
With `#[no_mangle]` may be more reliable and it also gives an actual exported symbol.
Or `#[used]` to keep it mangled since we don't care.
Cheers, Miguel