const timestamp_getterinfo: JSJitInfo;