(* *********************************************************************
 Vorgegebene Funktionsdefinitionen: 
********************************************************************* *)

fun vorgaenger(n)  =  Word.toInt( Word.-(Word.fromInt(n), 0wx1) );
fun summe(n,m)     =  Word.toInt( Word.+(Word.fromInt(n), Word.fromInt(m)) );
fun ist_gerade(n)  =  ( Word.andb(Word.fromInt(n),0wx1) = 0wx0 ); 
fun doppelt(n)     =  Word.toInt( Word.<<( Word.fromInt(n), 0wx1) ); 
fun haelfte(n)     =  Word.toInt( Word.>>( Word.fromInt(n), 0wx1) ); 

(* *********************************************************************
 BITTE OBERHALB VON DIESEM KOMMENTAR NICHTS VERAENDERN!
 Verlangte Funktionsdefinitionen: 
********************************************************************* *)