0xdef..862