Changes (including machine code changes) to make label use viable