const border_style_setterinfo: JSJitInfo;