LazyInitRace.java
3-13