0xdef