1. 15
  1.  

  2. 2

    The idea of checkpoints + state machine is a very powerful one. The GC step is key.