Code Editor : innodb_bug47167-master.opt