#[no_mangle] pub unsafe extern "C" fn vexSystemBoot()
Calls to jumptable functions are unsafe because jumptable functions are owned by VEXos and we cannot guarantee their safety.