Code Editor : safe.d.ts