Possible solution: using gotos to variables instead of labels