const oninput_getterinfo: JSJitInfo;