4.2: mostly compiles