- disallow using end label alone on blocks - improved parse error for mismatches - add label checking for non-block constructs - allow generate block to have label before begin