Code Editor : fault-inject-usercopy.h