const oninput_setterinfo: JSJitInfo;