const marginBottom_setterinfo: JSJitInfo;