adt_setto_unaudited
adt_setto_unaudited(state);
static void adt_setto_unaudited(adt_internal_state_t *);