pub type Workspace = *mut c_void;