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