Code Editor : procedure.d.ts