Heads-up: #[start] is being removed

[RalfJung]

We are planning to remove the unstable #[start] attribute from the compiler, see rust-lang/rust#134299 for rationale and further details. This repo showed up in a search for users of the attribute. For all we know, there's no good reason to use this attribute and you can do the following instead:

#![no_main]

#[no_mangle]
extern "C" fn main(argc: core::ffi::c_int, argv: *const *const u8) -> core::ffi::c_int {
  // ...
}

If that for some reason does not work, please let us know!