CoreJava9's example