pub type PROC = Option<unsafe extern "system" fn() -> isize>;
enum PROC { None, Some(unsafe extern "system" fn() -> isize), }
No value.
Some value of type T.
T