const elapsedTime_getterinfo: JSJitInfo;