const deltaX_getterinfo: JSJitInfo;