(011) and #0xfff