8.2.5 DUMP Codes 4000 to 4999

DUMP codes in this range are currently unused.