const paused_getterinfo: JSJitInfo;