const marginBottom_getterinfo: JSJitInfo;