expect / require / ensure

pub fun square(value: Int) -> Int:
    require value >= 0, "nonnegative input"
    fix result = value * value
    ensure result >= 0, "nonnegative result"
    expect result == value * value
    return result