blinky-z

public class JmmVolatileConditionRead {

    private static int x;
    private static volatile boolean initialized;

    public static void writer() {
        x = 5; /* W1 */
        initialized = true; /* W2 */
    }