# File env.rb, line 230
   def  log_checkpoint(string)
   end