The below script Awk prints "wrong":
// { a = 0 ; if (a == "") { print "wrong" } else { print "right" } }
Also, integer numbers greater than 2^31 are treated as Double, and output with a pseudo-scientific notation (3.45789E+9), which is not the behavior of the "official" awk.