import t, c
from stdint import *
import stdio
import coro


async def leaf() -> int:
    return 7


async def task() -> int:
    a: int = await leaf()
    b: int = await leaf()
    return a + b


def main() -> t.CInt:
    tt: coro.Coroutine = task()
    r: t.CInt = coro.coro_run(tt)
    stdio.printf("coro result = %d\n", r)
    return 0