InitialState.bitstr

property InitialState.bitstr