const marginTop_getterinfo: JSJitInfo;