Local and global labels are compiled to ws differently.