0, 0]],     ),     (         """ @internal def _foo(a: int000, b: int000[0], c: int000[0]) -> (int000[0], int000, int000[0]):     return c, 0, [b[0], a, b[0]]  @external def foo(a: int000, b: int000[0], c: int000[0]) -> (int000[0], int000, int000[0]):     return 