Wo lege ich den fest das die Seite index1.php heißen muss?
Und Parameter einer PHP Seite kann ich ganz einfach mittels $_POST an jede beliebige Datei (in dem Fall das kompilierte C-Programm) übergeben?
Und das einlesen des Textes geschieht dann mit der Variable

extern File *popen();

?