public void reset() {
   ping_mapper.reset();
 }