-/*----- Paranoia management -----------------------------------------------*/
-
-/* --- @mp_burn@ --- *
- *
- * Arguments: @mp *m@ = pointer to a multiprecision integer
- *
- * Returns: ---
- *
- * Use: Marks the integer as `burn-after-use'. When the integer's
- * memory is deallocated, it is deleted so that traces can't
- * remain in the swap file. In theory.
- */
-
-void mp_burn(mp *m)
-{
- m->f |= MP_BURN;
-}
-