It'd be nice for 0x10 to be a constant.