0xdef;