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