modules_02.py

from modules_02b import f

def main0():
    x: i32
    x = (2+3)*5
    assert x == 25
    f()

main0()