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