Symbol: RTL_IMR_HIGHDOK