prog.ts(4,18): error TS2339: Property 'push' does not exist on type 'readonly [number, boolean, string]'.