0x40c..bb1