import Base # one def f() -> U32: 1