int x = 1; /* We could pick anything in the set {0, 1, 2} here */