I know it is a bit premature, but here is the custom tailored DT_INTS for the new PIC18FXXK42.
DT_INTS-18_K42.bas