It might be better to have `#[linkage(extern_weak)]` etc, it feels less freeform that way? (And, anyway, we're [going off](https://github.com/mozilla/rust/issues/11886) the `#[... = "..."]` syntax.)