const ended_getterinfo: JSJitInfo;