// additional.d.ts ///