mzn.d.ts 434 Bytes