Symbol: DSK_RESERVED