grammar: added type void; main program file