const height_getterinfo: JSJitInfo;