32768 /* 512; 0x1000..0x11FF */