fn main(){
    x := 43
    assert x == 43 // Fine
    assert x > 42 // Fine
    assert x == 42 // Fails
}