Rename start symbol to prog