function main(a: u128, b: u128, c: u128) { console.assert(a + b == c); }