from m1 import C def f(x: C) -> None: ... #