pub type FunctionLeave = Option<unsafe extern "system" fn(funcid: usize)>;
enum FunctionLeave { None, Some(unsafe extern "system" fn(_: usize)), }
No value.
Some value of type T.
T