actually this is the same as `loop_counter > 0`