safe.d.ts