Default constructor.
static_execution_state();
The constructed object is guaranteed to have should_start_op() == true.
should_start_op() == true
No-throw guarantee.