th02/main: Initial state