*JS backend: ++void set_trace(int idx, bool state)