func add(int: a, int: b) { return a + b } func main() { int: c = add(3, 4) if (c == 7) { return 0 } # The laws of maths have been broken # else { return 1 } }