pub const HAVEGE_COLLECT_SIZE: c_int = 1024;