*************************************************************************** * Here is a residual program of the last supercompilation by the SCP4. * The residual program is in Refal5. * You have to change the parametrs of the call of ADDS1 with data. * Please, be carefull: * a) the order of the parametrs can be incorrect; * b) the residual program cannot be supercompiled * without some transformation to a fragment of Refal5; *************************************************************************** $EXTERN ADD ,DIVMOD ; $ENTRY Go { = <Prout <ADDS1 e.1 >> ; } * InputFormat: <ADDS1 e.1 > ADDS1 { s.41 (e.42 ) e.1 = <F22 e.1 0 s.41 (e.42 )> ; } * InputFormat: <F22 e.54 s.55 s.56 (e.57 ) > F22 { e.54 s.59 s.55 s.56 (e.57 s.58 ) , <ADD (s.58 ) s.59 >:s.60 , <ADD (s.60 ) s.55 >:s.61 , <DIVMOD (s.61 ) s.56 >:(s.64 ) s.65 = <F22 e.54 s.64 s.56 (e.57 )> s.65 ; 0 s.56 () = ; e.54 s.55 s.56 () = <F22 e.54 0 s.56 (s.55 )> ; s.55 s.56 (e.57 ) = <F22 s.55 0 s.56 (e.57 )> ; } ****************************** The End ************************************