Goal True.
True
  idtac "test".
test
True
  exact I.
Qed.