(record_delete): Record pos before the deletion.