Always generate an initialfullstate