Initial state representation code.