test A: let x = 1 guard (x == 0)