pub type SCIP_WALLCLOCK = SCIP_WallClock;
#[repr(C)]pub struct SCIP_WALLCLOCK { /* private fields */ }