package many:arguments;

interface manyarg {
  many-args: func(
    a1: u64,
    a2: u64,
    a3: u64,
    a4: u64,
    a5: u64,
    a6: u64,
    a7: u64,
    a8: u64,
    a9: u64,
    a10: u64,
    a11: u64,
    a12: u64,
    a13: u64,
    a14: u64,
    a15: u64,
    a16: u64,
  );

  record big-struct {
    a1: string,
    a2: string,
    a3: string,
    a4: string,
    a5: string,
    a6: string,
    a7: string,
    a8: string,
    a9: string,
    a10: string,
    a11: string,
    a12: string,
    a13: string,
    a14: string,
    a15: string,
    a16: string,
    a17: string,
    a18: string,
    a19: string,
    a20: string,
  }

  big-argument: func(x: big-struct);
}

world the-world {
  import manyarg;
  export manyarg;
}