UF_FIXED
ASSERT(s & (UF_FIXED | UF_NOTFIX | UF_REPLICA));
case UF_FIXED:
if (s & UF_FIXED) {
{ UF_FIXED, "fixed", sf_term_cmn,
if (!set_state(f, UF_FIXED)) {