RACE: Semantic-linker approach to stable cross-crate ABI without runtime overhead

This sounds adjacent to the BPF work: [Pre-RFC] BTF relocations Perhaps it could be done only for types explicitly marked as such?