pub const DYNAMIC_TYPE_SESSION_TICK: c_uint = 55;