(* make sure all proof lines are counted *)

Goal True. 
  Next Obligation.
  idtac.
  Next Obligation.
  idtac.
  Next Obligation.
  idtac.
Qed.