Names starting with 0x-