debugging verlet