Label and global-variable elimination.