x == x@0