th05/main: Initial state