Update from Eric Norum:
Change label names so they can be seen from the debugger. Provide a start symbol -- gets rid of a loader warning message.