pub type s_vpi_time = t_vpi_time;
#[repr(C)]pub struct s_vpi_time { pub type_: i32, pub high: u32, pub low: u32, pub real: f64, }
type_: i32
high: u32
low: u32
real: f64