import stdio
import t, c
# 故意不 import defs.SecretClass — 严格模式下应编译失败


# ============================================================
# 负向测试主入口
#
# 此文件故意不 import SecretClass，但尝试使用 SecretClass()。
# 命名空间隔离严格模式下，SecretClass 不可见，
# 构造器路径被跳过，生成 call i32 @SecretClass(...)，
# llc 报错 "use of undefined value '@SecretClass'"。
#
# 预期：TransPyV 编译失败（exit code != 0）
# ============================================================
def main() -> int:
    # SecretClass 未导入，严格模式下不可见
    s: SecretClass = SecretClass(42)
    v: int = s.GetVal()
    stdio.printf("negtest: v=%d (should not reach here)\n", v)
    return 0