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


from stdint import *
import t, c
import ctraits
import stdio
import testcheck

@t.CExport
def main() -> int: pass