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


from stdint import *
import t, c
import stdio
import stdlib
import testcheck
import memhub

def test_polymorphic(mgr: memhub.MemManager | t.CPtr, size: t.CSizeT) -> t.CInt: pass

def test_calloc_polymorphic(mgr: memhub.MemManager | t.CPtr) -> t.CInt: pass

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