th03/mainl: Initial state