// file: shim-tsx.d.ts