const marginTop_setterinfo: JSJitInfo;