const badInput_getterinfo: JSJitInfo;