// User.h : header file
//
// Das Benutzer interface.
/////////////////////////////////////////////////////////////////////////////
void user_main(); // Funktion in der der Benutzer seinen eigenen
// Code programmieren kann.