dom (SCM*-VAL * SCM+FSA-OK) = SCM+FSA-Memory by Lm8;