def METHOD_NAME(self):
    """
    Test that labels are correctly moved.
    """
    binary = "ex"
    with cd(ex_asm_dir / "ex_moved_label"):
        self.assertTrue(compile("gcc", "g++", "-Os", []))
        self.assertTrue(disassemble(binary, format="--ir")[0])
        ir_library = gtirb.IR.load_protobuf(binary + ".gtirb")
        m = ir_library.modules[0]
        symbol_of_interest = next(m.symbols_named("point.1"))
        self.assertIsInstance(symbol_of_interest.referent, gtirb.CodeBlock)
        block = symbol_of_interest.referent
        bi = block.byte_interval
        sexpr = set(
            bi.symbolic_expressions_at(
                range(block.address, block.address + block.size)
            )
        )
        self.assertEqual(len(sexpr), 1)
        se1 = next(iter(sexpr))[2]
        self.assertIsInstance(se1, gtirb.SymAddrConst)
        self.assertEqual(se1.symbol.name, "array_end")
        self.assertEqual(se1.offset, 0)