@extern def output_int32(x: int32): ... @extern def output_int32_list(x: list[int32]): ... def run() -> int32: bl = [True, False] bl1 = bl[:] bl1[1:] = [True] output_int32_list([int32(b) for b in bl1]) output_int32_list([int32(b) for b in bl1]) return 0