func main[] : I64
    for a in 1..1000
        for b in 1..1000
            let c: I64 = 1000 - b - a
            if a * a + b * b == c * c
                print_i64(a * b * c)
                return 0