I have a patch which adds goto-skips-initialization checking to `checkLabel`, so that function is going to get more code very soon.