concretize state_t for EmptySetUpTirDown signature