const margin_bottom_setterinfo: JSJitInfo;