interface demo { add(int32 a, int32 b) -> int32; sum_i32(list arr) -> int64; };