(SCM*-VAL * SCM+FSA-OK) . NAT = NAT