const length_getterinfo: JSJitInfo;