just need to add goto statements and labels and language spec should be complete