improve error reporting for undefined labels
add an init vector to the language
fix multiple labels for a single instruction
support the on_init vector in the state machine code