// Copyright (c) 2023 Xu Shaohua <shaohua@biofan.org>. All rights reserved.
// Use of this source is governed by Apache-2.0 License that can be found
// in the LICENSE file.

//! C compiler builtin

pub type __intmax_type__ = i64;
pub type __uintmax_type__ = u64;
