* life.java: header