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