"""
Auto-generated Python stub file from main.py
Module: main
"""


from stdint import *
import t, c
import stdio
import string
import w32.win32console
import w32.win32memory
import testcheck

def test_zext_u8_u32() -> t.CInt: pass

def test_sext_i8_i32() -> t.CInt: pass

def test_zext_u32_u64() -> t.CInt: pass

def test_sext_i32_i64() -> t.CInt: pass

def test_trunc_u64_u32() -> t.CInt: pass

def test_mixed_signed_unsigned() -> t.CInt: pass


VAL_32BIT: t.CDefine = 0x80000000
VAL_NEG: t.CDefine = -1
VAL_BIG: t.CDefine = 0xFFFFFFFF

def test_cdefine_values() -> t.CInt: pass

def test_bitops_width() -> t.CInt: pass

def test_unsigned_divmod() -> t.CInt: pass

def test_signed_divmod_neg() -> t.CInt: pass

def test_comparison_types() -> t.CInt: pass

def test_ptr_int_cast() -> t.CInt: pass

def test_u64_mul() -> t.CInt: pass

def test_bool_ops() -> t.CInt: pass

def test_ternary() -> t.CInt: pass

def main() -> t.CInt | t.CExport: pass
