pub fn get_system_tick() -> u64