const padding_bottom_setterinfo: JSJitInfo;