package test:many-arguments;
interface to-test {
many-arguments: 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,
);
}
world test {
export to-test;
}
world runner {
import to-test;
export run: func();
}