 If I change the value of magic_constant, the annotation at 0x409477 (currently showing 0xc) will not be updated. A workaround exist as to first change the type of magic_constant as non-constant, and then change it back to a constant