// User.h : header file
//
// Das Benutzer interface.
/////////////////////////////////////////////////////////////////////////////

void user_main();		// Funktion in der der Benutzer seinen eigenen
					// Code programmieren kann.