pub fn sys_get_time() -> isize