th03/main: Initial state