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