int_delete