0xdef..a35