pub const INTERRUPT_INTERVAL: u32 = 1_000;Expand description
Back-edges and calls between two interrupt polls. QuickJS’s
JS_INTERRUPT_COUNTER_INIT is 10,000; a tenth of it costs the loop
nothing measurable (the poll is cold), and stops a script ten times
sooner.