Note: this currently has a rustc compiler panic trying to use the `#[no_core]` attribute, which seems poorly supported