def METHOD_NAME():
    relocatable_anno = AnnotationC("a", 2)
    const = claripy.BVV(1337, 32)
    x0 = claripy.BVS("x", 32).annotate(relocatable_anno)
    y0 = claripy.Concat(x0, const)
    assert len(y0.annotations) == 1
    assert y0.annotations == (relocatable_anno,)
    y1 = y0.remove_annotation(relocatable_anno)
    assert len(y1.annotations) == 0