process_timestamp_delete  395 utils/history/recreate.c       process_timestamp_delete(RIPE_rs, RIPE_row, timestamp);
process_timestamp_delete  407 utils/history/recreate.c       process_timestamp_delete(RIPE_rs, RIPE_row, timestamp);