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

import c


import t
import stdio
import testcheck

def ExternalDecl(x: t.CInt) -> t.CInt | t.CExtern | t.CExport: pass

def StateDecl(x: t.CInt) -> t.CInt | t.State: pass

def StateVoidDecl() -> t.State: pass

def test_extern_decl() -> t.CInt: pass

def main() -> t.CInt: pass