:: deftheorem defines SCM*-VAL SCMFSA_1:def 5 :
SCM*-VAL = <%NAT,INT,(INT *)%>;