const height_setterinfo: JSJitInfo;